Skip to content

Conversation

Samarium150
Copy link
Contributor

Close #2387

@Him188 Him188 added z:ready-to-merge 状态: PR 已经可以合并, 正在等待一些安排 s:idea 子系统: mirai-console-intellij labels Apr 17, 2023
@Him188 Him188 added this to the 2.15.0-RC milestone Apr 17, 2023
@Him188 Him188 merged commit a397ee9 into mamoe:dev Apr 18, 2023
@Samarium150 Samarium150 deleted the patch-2387 branch April 18, 2023 14:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
s:idea 子系统: mirai-console-intellij z:ready-to-merge 状态: PR 已经可以合并, 正在等待一些安排
Projects
None yet
Development

Successfully merging this pull request may close these issues.

mirai-console idea 插件生成项目的时候 显式的 包含对 jdk api version 的指定
2 participants