Skip to content

bump version #132

Merged
boomzero merged 7 commits intodevfrom
boomzero-patch-5
Oct 9, 2023
Merged

bump version #132
boomzero merged 7 commits intodevfrom
boomzero-patch-5

Conversation

@boomzero
Copy link
Copy Markdown
Member

@boomzero boomzero commented Oct 9, 2023

No description provided.

Signed-off-by: Zhu Chenrui <85378277+boomzero@users.noreply.github.com>
Signed-off-by: Zhu Chenrui <85378277+boomzero@users.noreply.github.com>
Signed-off-by: Zhu Chenrui <85378277+boomzero@users.noreply.github.com>
@github-actions github-actions Bot added the user-script This issue or pull request is related to the main user script label Oct 9, 2023
boomzero and others added 4 commits October 9, 2023 21:54
Signed-off-by: Zhu Chenrui <85378277+boomzero@users.noreply.github.com>
Signed-off-by: Zhu Chenrui <85378277+boomzero@users.noreply.github.com>
@boomzero boomzero merged commit 7ca4c52 into dev Oct 9, 2023
@boomzero boomzero deleted the boomzero-patch-5 branch October 9, 2023 13:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

user-script This issue or pull request is related to the main user script

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant