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)
commit88026d17bff198b5abdd739de0a6a54cf5e1a721
treec4555d804c1fd5ebd0107cd2809fc386324e676d
parentc3045f2fd95da323b56ee4aa1e153eb522f4fc2a
parent9afde0d39ae364c327063d36b188465058056a86
Merge pull request #9371 from neheb/gpge

libgpg-error: Fix compilation with GAWK 5.0