Skip to content

Comments

[automated] Update plugin list#14069

Merged
nicoddemus merged 1 commit intomainfrom
update-plugin-list/patch-7b97c2548
Dec 28, 2025
Merged

[automated] Update plugin list#14069
nicoddemus merged 1 commit intomainfrom
update-plugin-list/patch-7b97c2548

Conversation

@github-actions
Copy link
Contributor

[automated] Update plugin list

@github-actions
Copy link
Contributor Author

Please mark the PR as ready for review to trigger PR checks.

@Pierre-Sassoulas Pierre-Sassoulas marked this pull request as ready for review December 28, 2025 06:41
@nicoddemus nicoddemus merged commit 0bd0e9b into main Dec 28, 2025
33 checks passed
@nicoddemus nicoddemus deleted the update-plugin-list/patch-7b97c2548 branch December 28, 2025 13:07
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