Merge pull request #9371 from neheb/gpge
authorRosen Penev <rosenp@gmail.com>
Wed, 10 Jul 2019 18:23:39 +0000 (11:23 -0700)
committerGitHub <noreply@github.com>
Wed, 10 Jul 2019 18:23:39 +0000 (11:23 -0700)
libgpg-error: Fix compilation with GAWK 5.0


Trivial merge