Skip to content

Add more, hopefully rather uncontroversial simplifications#172

Open
teiesti wants to merge 7 commits intomasterfrom tobias/simplifications_part1