Browse Source
* Merging revisions r43416 from trunk:
------------------------------------------------------------------------
r43416 | michael | 2019-11-08 10:31:45 +0100 (Fri, 08 Nov 2019) | 1 line
* Observe doclear
------------------------------------------------------------------------
git-svn-id: branches/fixes_3_2@43744 -