Closed jacomago closed 7 months ago
@jacomago do you have merge permissions? I think for changes like this you could merge the PR yourself
Ah I don't have merge permissions.
@jacomago do you have merge permissions? I think for changes like this you could merge the PR yourself