[openstreetmap/openstreetmap-website] merge 2023/12/18 (PR #4417)

[yuehai]

Closed #4417.

-- 
Reply to this email directly or view it on GitHub:
https://github.com/openstreetmap/openstreetmap-website/pull/4417#event-11271250118
You are receiving this because you are subscribed to this thread.

Message ID: <openstreetmap/openstreetmap-website/pull/4417/issue_event/11271250118 at github.com>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.openstreetmap.org/pipermail/rails-dev/attachments/20231217/62c5b3b1/attachment-0001.htm>