Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

enhance bot api, fix somethings #341

Merged
merged 2 commits into from
Sep 18, 2024
Merged

enhance bot api, fix somethings #341

merged 2 commits into from
Sep 18, 2024

Conversation

MC-XiaoHei
Copy link
Member

我这边没条件测试(x)
按理说没啥问题 编译也过了

patches/api/0003-Add-fakeplayer-api.patch Show resolved Hide resolved
patches/api/0009-Replay-Mod-API.patch Show resolved Hide resolved
patches/server/0010-Fakeplayer-support.patch Outdated Show resolved Hide resolved
patches/server/0010-Fakeplayer-support.patch Outdated Show resolved Hide resolved
@MC-XiaoHei
Copy link
Member Author

修了一下 把stop的cancel做了

Copy link
Member

@s-yh-china s-yh-china left a comment

Choose a reason for hiding this comment

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

虽然很想吐槽你这个换行,但是没啥问题

@s-yh-china s-yh-china merged commit 23c47a3 into master Sep 18, 2024
2 checks passed
@MC-XiaoHei MC-XiaoHei deleted the dev/enhance-bot-api branch November 15, 2024 15:59
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