Merge maintenance/mps20222 into maintenance/mps20223 - Githubissues

JetBrains / MPS-extensions

MPS-extensions aims to ease language development within MPS.

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

Apache License 2.0

80 stars 47 forks source link

Merge maintenance/mps20222 into maintenance/mps20223 #852

Closed github-actions[bot] closed 4 weeks ago

github-actions[bot] commented 4 weeks ago

Merge changes from maintenance/mps20222 to maintenance/mps20223.