Update dependency com.jetbrains:mps to v2025.1.3 (maintenance/mps20251) - #1920
Open
renovate[bot] wants to merge 1 commit into
Open
Update dependency com.jetbrains:mps to v2025.1.3 (maintenance/mps20251)#1920renovate[bot] wants to merge 1 commit into
renovate[bot] wants to merge 1 commit into
![renovate[bot]](https://avatars.githubusercontent.com/in/2740?v=4&size=32){kind=avatar}