Zulip Chat Archive
Stream: Zulip meta
Topic: thread link not working
Eric Wieser (Jan 15 2023 at 10:09):
The link in this message seems not to work on mobile for me:
@_Notification Bot|100006 said:
16 messages were moved here from #mathlib4 > naming:
map_int_cast
vsmap_natCast
vsmap_ratCast
by Heather Macbeth.
Eric Wieser (Jan 15 2023 at 10:10):
It goes to some blank naming: klzzwxh
thread, presumably due to the code blocks?
Alya Abbott (Jan 27 2023 at 17:26):
Thanks for the report @Eric Wieser ! The problem is that backticks in topic names aren't being handled properly. I filed the issue as zulip/zulip#24201; we expect it to be fixed as part of a broader project to change how Zulip does Markdown processing.
Last updated: Dec 20 2023 at 11:08 UTC