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.

Sign up for GitHub

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

Jump to bottom

[console] End user readme #2738

Merged
merged 3 commits into from
Jul 25, 2023
Merged

[console] End user readme #2738

merged 3 commits into from
Jul 25, 2023

Conversation

Karlatemp
Copy link
Member

close #2737

@Karlatemp Karlatemp added t:enhancement 类型: 现有功能上的优化 s:console 子系统: mirai-console labels Jul 16, 2023
@Karlatemp Karlatemp added the z:ready-to-merge 状态: PR 已经可以合并, 正在等待一些安排 label Jul 22, 2023
@Karlatemp Karlatemp merged commit dd2a9e3 into dev Jul 25, 2023
5 of 6 checks passed
@Karlatemp Karlatemp deleted the console/end-user-readme branch July 25, 2023 06:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@Him188 Him188 Him188 approved these changes

Assignees
No one assigned
Labels
s:console 子系统: mirai-console t:enhancement 类型: 现有功能上的优化 z:ready-to-merge 状态: PR 已经可以合并, 正在等待一些安排
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

添加强制性的最终用户须知
2 participants
@Karlatemp @Him188