Martin Raifer fb22f01b30 allow ＃ (full width number sign) as alternative # sign for hashtags ...

this appears to be somewhat common in some asian scripts, resulting in unrecognized hashtags or superfluous "＃" in `hashtags` changeset tag (e.g. https://stats.now.ohsome.org/dashboard#hashtag=%25EF%25BC%2583missingmaps&start=2007-02-20T23:00:00Z&end=2025-02-21T22:59:59Z&interval=P1M&countries=&topics=).

2025-02-21 18:48:42 +01:00

20 KiB

Raw Blame History

View Raw