Merge pull request #83 from jameshilliard/update-argp-wrap
authorJonathan Dieter <jdieter@gmail.com>
Thu, 5 May 2022 18:56:51 +0000 (19:56 +0100)
committerGitHub <noreply@github.com>
Thu, 5 May 2022 18:56:51 +0000 (19:56 +0100)
argp-standalone.wrap: update to version 1.5.0


Trivial merge