Merge pull request #12991 from jjm2473/libgpg-error-fix-gawk50-3
authorRosen Penev <rosenp@gmail.com>
Sat, 1 Aug 2020 23:00:32 +0000 (16:00 -0700)
committerGitHub <noreply@github.com>
Sat, 1 Aug 2020 23:00:32 +0000 (16:00 -0700)
libgpg-error: Fix compilation with GAWK 5.0


Trivial merge