properly deprecate parseopt2 (#10452)

This commit is contained in:
Miran 2019-01-25 13:13:55 +01:00 • committed by Andreas Rumpf
commit 268197add8
4 changed files with 6 additions and 32 deletions