Skip to content

[7.2] Update plugins.md#1856

Merged
hachi8833 merged 1 commit intoyasslab:ja-7.2from
hnegishi:patch-10
Jul 12, 2025
Merged

[7.2] Update plugins.md#1856
hachi8833 merged 1 commit intoyasslab:ja-7.2from
hnegishi:patch-10

Conversation

@hnegishi
Copy link

@hnegishi hnegishi commented Jul 11, 2025

@hnegishi hnegishi marked this pull request as ready for review July 11, 2025 15:17
@hnegishi hnegishi changed the title [v7.2] Update plugins.md [7.2] Update plugins.md Jul 11, 2025
@hachi8833 hachi8833 self-requested a review July 12, 2025 09:29
Copy link
Collaborator

@hachi8833 hachi8833 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

こちらもマージします

@hachi8833 hachi8833 merged commit 3b39e4c into yasslab:ja-7.2 Jul 12, 2025
2 checks passed
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