Closed Luap99 closed 2 weeks ago
[APPROVALNOTIFIER] This PR is APPROVED
This pull-request has been approved by: Luap99, vrothberg
The full list of commands accepted by this bot can be found here.
The pull request process is described here
I am going to force merge to fix the current CI problem. The WSL problem will be pursued after this.
Force merging per previous comment
No idea why we need them, it passes without them so I just remove them. Currently CI is broken as this install is failing on rawhide for some reason. I don't know what changed there but this is working and unblocks CI so I like to get this in.
Does this PR introduce a user-facing change?