Closed patrickrobrecht closed 3 years ago
These changes have been approved by @florianbrinkmann and me in #190, so I'll merge back into develop.