Closed TendTo closed 6 months ago
@leoneifler Can you have a look at this?
Sorry this took a long while to get to. Thank you for your contribution, I see nothing wrong with it. I cherry-picked your commits onto our internal gitlab (our CI pipeline runs there, and migrating fully to GitHub takes a long time). The code change will appear here on GitHub in the coming days.
Some minor housekeeping fixes and improvements: