Skip to content

add 'informal path' to path category#1131

Merged
tyrasd merged 1 commit intoopenstreetmap:mainfrom
k-yle:informal-path
Feb 24, 2024
Merged

add 'informal path' to path category#1131
tyrasd merged 1 commit intoopenstreetmap:mainfrom
k-yle:informal-path

Conversation

@k-yle
Copy link
Copy Markdown
Collaborator

@k-yle k-yle commented Feb 22, 2024

Closes #1136

@github-actions
Copy link
Copy Markdown

🍱 You can preview the tagging presets of this pull request here.

@tyrasd tyrasd merged commit d083f66 into openstreetmap:main Feb 24, 2024
@k-yle k-yle deleted the informal-path branch May 24, 2024 13:38
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.

Sort informal path under paths folder

2 participants