Stream: Coq devs & plugin devs

Topic: Markdown in issue titles


view this post on Zulip Théo Zimmermann (Mar 18 2021 at 19:34):

Oh wow, thanks to https://github.com/coq/coq/issues/13959 I discovered that GitHub now supports Markdown in issue titles :tada: (at least code quotes)


Last updated: Dec 05 2023 at 05:01 UTC