JeroenDeDauw / Maps

Completed

by Jeroen De

created 2018-06-10 07:10 UTC

	1 issue (minor) was introduced. 1 issue was fixed.
	1 new patch (Doc Comments) is available.

9.02

▼ -0.03

Head	Jeroen De Dauw 2018-06-10 09:09 GMT+0200 Remove overengineered and probably half-broken trash
Base	Jeroen De Dauw 2018-06-10 06:41 UTC Remove unused setting