]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #73400 - rnestler:patch-1, r=jonas-schievink
authorDylan DPC <dylan.dpc@gmail.com>
Tue, 16 Jun 2020 13:08:48 +0000 (15:08 +0200)
committerGitHub <noreply@github.com>
Tue, 16 Jun 2020 13:08:48 +0000 (15:08 +0200)
Fix forge-platform-support URL

Apparently it got changed.


Trivial merge