Skip to content

chore: remove non existing property#5133

Merged
caalador merged 1 commit intomainfrom
chore/remove-non-existing-maven-property
Feb 4, 2026
Merged

chore: remove non existing property#5133
caalador merged 1 commit intomainfrom
chore/remove-non-existing-maven-property

Conversation

@mcollovati
Copy link
Contributor

No description provided.

@mcollovati mcollovati added flow target/v25.0 Automatically cherry-pick to the v25.0 branch target/v24 cherry pick to v24 branch labels Feb 4, 2026
@caalador caalador merged commit c22d623 into main Feb 4, 2026
3 checks passed
@caalador caalador deleted the chore/remove-non-existing-maven-property branch February 4, 2026 10:58
vaadin-bot pushed a commit that referenced this pull request Feb 4, 2026
vaadin-bot pushed a commit that referenced this pull request Feb 4, 2026
caalador pushed a commit that referenced this pull request Feb 4, 2026
Co-authored-by: Marco Collovati <marco@vaadin.com>
caalador pushed a commit that referenced this pull request Feb 4, 2026
Co-authored-by: Marco Collovati <marco@vaadin.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

cherry-picked-v24 cherry-picked-v25.0 flow target/v24 cherry pick to v24 branch target/v25.0 Automatically cherry-pick to the v25.0 branch

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants