[commits] Argv branch master updated. 39db07d7fecf275420b6559e9b995411ae6206ce

[jan at horde.org]

The branch "master" has been updated.
The following is a summary of the commits.

from: 305451f3f8c6430ec214df6c895d599723b2920c

39db07d [rla] Honor ignoreUnknownArgs for short options.

Summary: https://github.com/horde/Argv/compare/305451f3f8c6...39db07d7fecf

-----------------------------------------------------------------------

commit 39db07d7fecf275420b6559e9b995411ae6206ce
Author: Jan Schneider <jan.schneider at hdnet.de>
Date:   Mon, 08 Jun 2020 22:40:31 +0200

[rla] Honor ignoreUnknownArgs for short options.

 M doc/Horde/Argv/changelog.yml

https://github.com/horde/Argv/commit/39db07d7fecf275420b6559e9b995411ae6206ce