Skip to content

Conversation

cnotin
Copy link
Contributor

@cnotin cnotin commented Sep 19, 2025

Use new names for UI elements

Use new names for UI elements
@grischard grischard merged commit b66610f into osmlab:gh-pages Sep 24, 2025
1 check passed
@grischard
Copy link
Collaborator

Thanks Clément

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