Skip to content
PR to merge into the next version

Merge pull request #989 from JetBrains/bugfix/remove_jdom2 #151

Sign in to view logs

Merge pull request #989 from JetBrains/bugfix/remove_jdom2

Merge pull request #989 from JetBrains/bugfix/remove_jdom2 #151

Triggered via push October 18, 2024 08:46
@alexanderpannalexanderpann
pushed 567a7cd
maintenance/mps20232
Status Success
Total duration 17s
Artifacts –

PR-into-next-version.yml

on: push
create-pr  /  create-pr
7s
create-pr / create-pr
Fit to window
Zoom out
Zoom in