* Merging revisions 42139 from trunk:
------------------------------------------------------------------------
r42139 | michael | 2019-05-30 18:24:20 +0200 (Thu, 30 May 2019) | 1 line

* Remove debug file writing
------------------------------------------------------------------------

git-svn-id: branches/fixes_3_2@43658 -