minor fix in comment to easy merging

This commit is contained in:
Uwe Steinmann 2015-06-11 14:07:17 +02:00
parent 97fe703afb
commit dc20e609c7