Skip to content

rename :pat2018 -> :pat2015#83384

Merged
bors merged 1 commit intorust-lang:masterfrom
mark-i-m:rename-pat2018
Mar 23, 2021
Merged

rename :pat2018 -> :pat2015#83384
bors merged 1 commit intorust-lang:masterfrom
mark-i-m:rename-pat2018

Commits

Commits on Mar 22, 2021