Merge maintenance/mps20243 into master - Githubissues

JetBrains / MPS-extensions

MPS-extensions aims to ease language development within MPS.

https://jetbrains.github.io/MPS-extensions/

Apache License 2.0

83 stars 52 forks source link

Merge maintenance/mps20243 into master #1038

Closed mps-ci-buildbot closed 6 days ago

mps-ci-buildbot commented 6 days ago

Merge changes from maintenance/mps20243 to master.