Closed jochbru closed 4 months ago
hi @jochbru, a rebase on top of the main branch should solve the CI issue.
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: alacuku, jochbru
The full list of commands accepted by this bot can be found here.
The pull request process is described here
LGTM label has been added.
Thank you @jochbru
This fixes a bug I introduced myself earlier
What type of PR is this?
Checklist