Skip to content

improve target:extrafiles#6725

Merged
waruqi merged 1 commit intodevfrom
extrafiles
Aug 19, 2025
Merged

improve target:extrafiles#6725
waruqi merged 1 commit intodevfrom
extrafiles

Conversation

@waruqi
Copy link
Member

@waruqi waruqi commented Aug 19, 2025

@waruqi waruqi added this to the v3.0.2 milestone Aug 19, 2025
@waruqi waruqi merged commit 37cea6d into dev Aug 19, 2025
43 of 44 checks passed
@waruqi waruqi deleted the extrafiles branch August 19, 2025 01:25
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.

1 participant