Zulip Chat Archive
Stream: general
Topic: TOC in roadmap does not work
Asei Inoue (Oct 28 2025 at 18:04):
https://lean-lang.org/fro/roadmap/y3/
when clicking TOC, it jumps to top page...!
Asei Inoue (Oct 28 2025 at 18:05):
@Sofia Rodrigues I don't know who to ping about this.
You were working on this...?
Sofia Rodrigues (Oct 28 2025 at 20:08):
Yes, I will fix this.
Last updated: Dec 20 2025 at 21:32 UTC