From: Alexander Popov Date: Tue, 14 May 2024 14:07:04 +0000 (+0300) Subject: Merge remote-tracking branch 'origin/pylint' X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;h=35f7574150940bc88eb3192f64c2dbfc650cf3e3;hp=7f388bd4b6b993e2e59237d41c953441c757215b;p=kconfig-hardened-check.git Merge remote-tracking branch 'origin/pylint' Refers to #136 ---