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: May 02 2025 at 03:31 UTC