Minor clean up

This commit is contained in:
Karl Yngve Lervåg 2016-07-28 22:36:54 +02:00
parent 0167c93253
commit 44e605dbf2