------------------------------------------------------------------------
    r40057 | michael | 2018-10-27 17:08:11 +0200 (Sat, 27 Oct 2018) | 1 line
    
    * Fix some warnings
    ------------------------------------------------------------------------

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