Skip to content

rename :pat2018 -> :pat2015#83384

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

Commits

Commits on Mar 22, 2021