Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

It would be nice if searching "key duplication" would find craft=key_cutter #157

Closed
matkoniecz opened this issue Apr 9, 2021 · 0 comments · Fixed by #335
Closed

It would be nice if searching "key duplication" would find craft=key_cutter #157

matkoniecz opened this issue Apr 9, 2021 · 0 comments · Fixed by #335

Comments

@matkoniecz
Copy link
Contributor

https://wiki.openstreetmap.org/wiki/Tag:craft%3Dkey_cutter

https://github.com/openstreetmap/id-tagging-schema/blob/bf95421f65018ccd7f398f8459b37462febddcba/data/presets/craft/key_cutter.json
@matkoniecz matkoniecz changed the title It would be nice if searching "key duplication" would find carft=key_cutter It would be nice if searching "key duplication" would find craft=key_cutter Jan 6, 2022
@matkoniecz matkoniecz mentioned this issue Jan 6, 2022
Merged
tyrasd pushed a commit that referenced this issue Jan 6, 2022
@matkoniecz
"key duplication" to synonyms of craft=key_cutter (#335)
f8ef9a1 
fixes #157
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

"key duplication" to synonyms of craft=key_cutter
1 participant
@matkoniecz