fix typo reported by Kai Uwe Broulik, thanks

Description

fix typo reported by Kai Uwe Broulik, thanks

Details

Committed
lueckOct 2 2018, 11:26 AM
Parents
R883:1525603: update
Branches
Unknown
Tags
Unknown