search

maripo / JOSM_easypresets

22 stars 7 forks source link

Update to JOSM 16043 #41

Closed don-vip closed 4 years ago

don-vip commented 4 years ago

See https://josm.openstreetmap.de/changeset/16043/josm/

don-vip commented 4 years ago

@maripo can you please merge this pull request? Otherwise I will need to remove the plugin from the JOSM default list.

don-vip commented 4 years ago

I've removed the plugin from the default list: https://josm.openstreetmap.de/wiki/PluginsSource?action=diff&version=522

maripo commented 4 years ago

Thank you for late reply. I confirmed that it was successfully built and worked well with 16043. https://github.com/maripo/JOSM_easypresets/releases/tag/v1.15 Is it OK to add it again to the plugin list?

don-vip commented 4 years ago

@maripo thank you! I have added v1.15 back in the plugin list