chore: fix footnotes/links in platform-support.md
#123318
Merged
bors merged 1 commit intorust-lang:masterfrom Apr 1, 2024
Merged
chore: fix footnotes/links in `platform-support.md`#123318bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom