Zulip Chat Archive
Stream: Zulip meta
Topic: reservoir linkifier
Julian Berman (Jul 18 2024 at 13:57):
this goes to leanprover-community/reservoir, but should go to leanprover/reservoir
Bryan Gin-ge Chen (Jul 18 2024 at 14:03):
Fixed! reservoir#33
Last updated: Dec 20 2025 at 21:32 UTC