Skip to content

A new "view" menu and some icon changes and cleanups#312

Merged
dgdekoning merged 2 commits intomasterfrom adapt_bug_reportingNov 4, 2019