Skip to content

[pull] master from youngyangyang04:master#387

Merged
pull[bot] merged 1 commit intoMu-L:masterfrom
youngyangyang04:master
Jun 13, 2022
Merged

[pull] master from youngyangyang04:master#387
pull[bot] merged 1 commit intoMu-L:masterfrom
youngyangyang04:master

Conversation

@pull
Copy link
Copy Markdown

@pull pull bot commented Jun 13, 2022

See Commits and Changes for more details.


Created by pull[bot]

Can you help keep this open source service alive? 💖 Please sponsor : )

@pull pull bot merged commit 2c1aa6e into Mu-L:master Jun 13, 2022
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