Merge pull request #12255 from neheb/libconfig
authorRosen Penev <rosenp@gmail.com>
Wed, 3 Jun 2020 14:35:06 +0000 (07:35 -0700)
committerGitHub <noreply@github.com>
Wed, 3 Jun 2020 14:35:06 +0000 (07:35 -0700)
libconfig: import from base


Trivial merge