last commit before conversion to svn
Authored by: berndspeiser 2017-10-31
Parent: [r752]
Child: [r754]