Closed mnijhuis-tos closed 4 years ago
(deleted old comment)
I think the changes are good, but let's discuss how to proceed with branches etc. Since we might make a release branch, this might be merged to that as well instead.
(deleted old comment)