Closed neilmayhew closed 6 months ago
@neilmayhew> @-tag me when you want to merge, in case you don't have the right to do so. I'll merge on your behalf.
@neilmayhew> @-tag me when you want to merge, in case you don't have the right to do so. I'll merge on your behalf.
@smelc Thanks. I don't have the right.
Suggestion added, and rebased on main
Changelog
Context
No corresponding issue.
How to trust this PR
Checklist