From: Alexander Popov Date: Mon, 30 Jul 2018 20:02:24 +0000 (+0300) Subject: Merge branch 'from-iad42-1' X-Git-Tag: v0.5.2~74 X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;ds=sidebyside;h=39077d8196218060594a28a49ec497925ef5c371;p=kconfig-hardened-check.git Merge branch 'from-iad42-1' --- 39077d8196218060594a28a49ec497925ef5c371