Closed Donnerbart closed 4 days ago
Note that this would probably be picked up from main
whenever we rebase next
. Thank you in any case!
Note that this would probably be picked up from
main
whenever we rebasenext
. Thank you in any case!
Ah, I thought the next
branch was more decoupled from main
already. No worries, the website is already updated and fixed from main
. Do whatever makes your life easier with this PR (close or merge).
PR needs rebase.
This change was picked up by the rebase of next
with main
. When re-creating the branch I got the expected "Nothing to cherry-pick". Can be closed.
Fixes #2579