Zulip Chat Archive
Stream: Zulip meta
Topic: stacks linkifier
Adam Topaz (Mar 22 2022 at 11:38):
Looks like there is a small issue with our stacks project linkifier -- zulip sometimes gets confused between this and the one for github PRs
e.g. stacks#03CN vs stacks#0109
Mario Carneiro (Mar 22 2022 at 12:47):
Testing: stacks#03CN vs stacks#0109
Adam Topaz (Mar 22 2022 at 12:52):
Thanks!
Last updated: Dec 20 2023 at 11:08 UTC