Skip to content

Migrate from highfive to triagebot#9963

Merged
bors merged 1 commit intorust-lang:masterfrom
ehuss:highfive-triagebot
Nov 27, 2022
Merged

Migrate from highfive to triagebot#9963
bors merged 1 commit intorust-lang:masterfrom
ehuss:highfive-triagebot

Commits

Commits on Nov 27, 2022