From: Alexander Popov <alex.popov@linux.com>
Date: Wed, 6 May 2020 21:36:58 +0000 (+0300)
Subject: Merge branch 'ubuntu20'
X-Git-Tag: v0.5.7~23
X-Git-Url: https://jxself.org/git/?a=commitdiff_plain;h=e54cb30a2789c8f8ce15648d72299e243b3b27c1;p=kconfig-hardened-check.git

Merge branch 'ubuntu20'

Thanks @HacKurx.
---

e54cb30a2789c8f8ce15648d72299e243b3b27c1