Skip to content

Turn urls in footnotes into proper links#962

Merged
yaahc merged 1 commit intorust-lang:masterfrom
badboy:footnote-links
Apr 19, 2022
Merged

Turn urls in footnotes into proper links#962
yaahc merged 1 commit intorust-lang:masterfrom
badboy:footnote-links

Commits

Commits on Apr 19, 2022