*Export* was moved in #5151, therefore this issue may no longer be relevant. If
you still want to move *Export* elsewhere or rename it, it's better to open a
new issue.
--
Reply to this email directly or view it on GitHub:
https://github.com/openstreetmap/openstreetmap-website/issues/3040#issuecomment-2510650156
You are receiving this because you are subscribed to this thread.
Message ID:
<openstreetmap/openstreetmap-website/issues/3040/2510650...@github.com>
_______________________________________________
rails-dev mailing list
rails-dev@openstreetmap.org
https://lists.openstreetmap.org/listinfo/rails-dev
