Merge maintenance/mps20251 into master#1627

Merged

mps-ci-buildbot merged 17 commits intomasterfrom

Oct 15, 2025

Commits on Sep 17, 2025

added efficient NodeHasher

enikao
authored and
sergej-koscejev
committed

Commits on Sep 19, 2025

Merge pull request #1532 from JetBrains/feature/node-hasher
sergej-koscejev
authored

Commits on Sep 25, 2025

Commits on Oct 8, 2025

mps.tables: support copying, pasting and deleting of table selections
Alexander Pann
committed
Merge pull request #1598 from JetBrains/feature/table_selection_copy_cut_paste
alexanderpann
authored

Commits on Oct 9, 2025

Commits on Oct 14, 2025

Commits on Oct 15, 2025