Skip to content

[full-ci] chore: bump web to v7.2.0#3121

Merged
kulmann merged 3 commits into
mainfrom
chore/bump-web-v7.2.0
Jul 13, 2026
Merged

[full-ci] chore: bump web to v7.2.0#3121
kulmann merged 3 commits into
mainfrom
chore/bump-web-v7.2.0

Commits

Commits on Jul 13, 2026