Skip to content

Conversation

@martinbonnin
Copy link
Contributor

Follow up from #6786, there is a second plugin that needed to be removed.

@martinbonnin martinbonnin requested a review from BoD as a code owner November 13, 2025 16:46
@martinbonnin martinbonnin merged commit 5ce88bc into main Nov 13, 2025
3 of 5 checks passed
@martinbonnin martinbonnin deleted the remove-more-markers branch November 13, 2025 16:46
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants