Rename High Jump Pit to High Jump Area for mapping accuracy#1948

tyrasd merged 1 commit intoopenstreetmap:mainopenstreetmap/id-tagging-schema:mainfrom

ak8abhinay:fix/high-jump-preset-nameak8abhinay/id-tagging-schema:fix/high-jump-preset-nameCopy head branch name to clipboard