3 Commits

Author	SHA1	Message	Date
Hombre	e0c04955e3	Fix build crash (see #5232), but this branch is still not usable	2019-03-19 22:29:10 +01:00
Hombre	698492e21c	Merge branch 'dev' into spot-removal-tool	2019-03-18 22:35:11 +01:00
Hombre	56dafcf8c1	Spot Removal tool ... It is not working yet, but the GUI is (almost) done. See issue #2239.	2016-04-23 00:46:01 +02:00