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)
commit3a59a3199f0f86bccac2a7cadfa8f5a3bae41195
treec7a171fe7fd3fbdf8df99eb92ff4e908856dc118
parent1d59425e4bcb258512576a7a46a6005933472146
parent6360c3d944d283f60c14a83e0c1678d0191fc7bf
Merge pull request #83 from jameshilliard/update-argp-wrap

argp-standalone.wrap: update to version 1.5.0