Browse Source
* Merging revisions r43680 from trunk:
------------------------------------------------------------------------
r43680 | michael | 2019-12-14 12:59:53 +0100 (Sat, 14 Dec 2019) | 1 line
* Fix option character test (bug ID 36438)
------------------------------------------------------------------------
git-svn-id: branches/fixes_3_2@43727 -