Skip to content

[5.x] Change "Housenumber" to "House number"#3

Merged
royduin merged 1 commit into
masterfrom
feature/housenumber
Dec 10, 2025
Merged

[5.x] Change "Housenumber" to "House number"#3
royduin merged 1 commit into
masterfrom
feature/housenumber

Conversation

@Jade-GG

@Jade-GG Jade-GG commented Dec 10, 2025

Copy link
Copy Markdown
Collaborator

@royduin royduin merged commit c1cbdf4 into master Dec 10, 2025
1 check passed
@royduin royduin deleted the feature/housenumber branch December 10, 2025 14:44
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