Stream: Coq devs & plugin devs

Topic: Linking issues/PR


view this post on Zulip Cyril Cohen (May 07 2020 at 18:57):

One can use coq/coq#number (e.g. coq/coq#8855) to refer to PRs


Last updated: Oct 15 2021 at 19:03 UTC