From: Alexander Popov Date: Mon, 19 Aug 2024 15:13:27 +0000 (+0300) Subject: Merge branch 'from-jvoisin' X-Git-Tag: v0.6.10~19 X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;h=97c60fb425d30c61e4255dd092c22d99e79b4106;p=kconfig-hardened-check.git Merge branch 'from-jvoisin' Refers to #138 --- 97c60fb425d30c61e4255dd092c22d99e79b4106