Closed pablolh closed 2 years ago
@wvlothuizen This removes the deprecated sweep points feature, as per your email from Friday.
OK! I approved running CI (which must be done once for new users), and see some failures.
We have a sort of convention to prefix the PR title with "[WIP]" until its ready for review (because you need write access to set it to 'Draft' o GitHub), and then ask for a review from ~2 people when done
Sorry for the failed CI, it should be fixed now. I'm relatively unfamiliar with Github's interface, I don't see where I can add reviewers or assignees. CI still doesn't seem to have started on the 2nd push.
Thanks, updated the changelog.
I don't seem to have the rights to merge this either. I don't see a "Merge" button. @jvansomeren you could also take a look if you want