Skip to content

Clean some stuff from #920 that are no longer needed because of #1120#1189

Merged
nohwnd merged 1 commit intopester:masterfrom Thilas:clean-gh920Jan 3, 2019

Commits

Commits on Dec 29, 2018