Closed DavidSouther closed 1 year ago
Okay, please rebase :tada:
Looks like Github did a merge when I synced - is that OK, or do you need it to be a rebase?
Please do a rebase. What github does here messes up the history and just produces noise in the repository, so I'd love to see a rebase here if you don't mind!
Totally hear you. Done!
Thank you very much! I'll merge as soon as CI is green.
The CI error comes from a too old rustc version on our side. #389 should fix that. I'll ask you to rebase as soon as #389 has landed, or if you don't care too much, I can do the rebase for you!