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
platform-support.md#123318bors merged 1 commit intorust-lang:masterfrom