chore: maintenance version bumps [23.7] (2026-07-10)#9119

github-actions[bot] wants to merge 1 commit into

23.7vaadin/platform:23.7from

bot/versions-23.7-2026-07-09vaadin/platform:bot/versions-23.7-2026-07-09Copy head branch name to clipboard