Since we merged
https://github.com/openstreetmap/openstreetmap-website/pull/5151 we are less
likely to merge this because the goal was to save space in the header. Although
it still may be possible, then it's going to be a trade of *History* and
*Export* for *View* which may still save some space.
--
Reply to this email directly or view it on GitHub:
https://github.com/openstreetmap/openstreetmap-website/pull/2420#issuecomment-2510618353
You are receiving this because you are subscribed to this thread.
Message ID:
<openstreetmap/openstreetmap-website/pull/2420/c2510618...@github.com>
_______________________________________________
rails-dev mailing list
rails-dev@openstreetmap.org
https://lists.openstreetmap.org/listinfo/rails-dev
