Minor cleanup.

This commit is contained in:
Oliver Schmidt 2020-01-18 19:29:02 +01:00
parent b66f7272af
commit 0f08ae2c12