Minor cleanup

This commit is contained in:
Gregor Kleen 2018-07-07 21:35:46 +02:00
parent feb3f6332b
commit bbcf925019