hovercraft: nitpicks

This commit is contained in:
Jörg Thalheim
2018-11-10 21:33:03 +00:00
parent 75f5fbe945
commit 5ac78febe2