[2.9.x] remove ensime from IDE.md (backport #12142) by @xuwei-k #12161
Mergify / Rule: Delete the PR branch and remove label after merge/close (delete_head_branch)
succeeded
Oct 29, 2023 in 0s
Branch `mergify/bp/2.9.x/pr-12142` does not exist
Loading