Small cleanup

This commit is contained in:
David Vogel 2018-04-03 09:22:08 +02:00
parent f7cedd3ec2
commit a8ab6da674