Minor simplifications. (#966)

This commit is contained in:
Holger Rapp 2018-04-11 00:09:48 +02:00 committed by UltiBot
parent debef2b1a7
commit 9014274598

Diff Content Not Available