Skip to content

Small cleanups extracted from the bigger pr i'm working on#2212

Merged
carols10cents merged 5 commits intomasterfrom cleanupJan 10, 2020