Skip to content

Merge maintenance/mps20251 into master#3459

Merged
sergej-koscejev merged 7 commits into
masterfrom
merge/master
Jun 19, 2026
Merged

Merge maintenance/mps20251 into master#3459
sergej-koscejev merged 7 commits into
masterfrom
merge/master

Conversation

@mps-ci-buildbot

Copy link
Copy Markdown
Contributor

Merge changes from maintenance/mps20251 to master.

renovate Bot and others added 4 commits June 17, 2026 03:46
…tch-mpsextensions251

fix(deps): update mpsextensions251 to v2025.1.3625.8cf9065 (maintenance/mps20251)
…tch-mpsextensions241

fix(deps): update mpsextensions241 to v2024.1.3626.adeaeb4 (maintenance/mps20241)
@mps-ci-buildbot mps-ci-buildbot self-assigned this Jun 19, 2026
…tch-mpsextensions251

fix(deps): update mpsextensions251 to v2025.1.3627.f265e20 (maintenance/mps20251)
@sergej-koscejev sergej-koscejev merged commit 38bc927 into master Jun 19, 2026
5 checks passed
@sergej-koscejev sergej-koscejev deleted the merge/master branch June 19, 2026 13:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants