Merge maintenance/mps20213 into maintenance/mps20222

JetBrains / MPS-extensions

MPS-extensions aims to ease language development within MPS.

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

Apache License 2.0

82 stars 50 forks source link

Closed alamqadem closed 10 months ago

alamqadem commented 10 months ago

Update maintenance/mps20222 branch to include latest changes from 2021.3.

sergej-koscejev commented 10 months ago

I dunno about reviewing 347853 added lines of code... It builds so it's probably okay?

alexanderpann commented 10 months ago

Agree. We/I agree should really merge my linter PRs. Then such a PR would be quite safe because the linters catch the bad screw-ups.

alamqadem commented 10 months ago

I dunno about reviewing 347853 added lines of code... It builds so it's probably okay?

Yeah, I understand, the PR was more to prove that it builds and the tests are passing.