Skip to content

Add triagebot to the repository#1785

Merged
bors merged 1 commit intorust-lang:masterfrom
pietroalbini:triagebot
Jul 19, 2019
Merged

Add triagebot to the repository#1785
bors merged 1 commit intorust-lang:masterfrom
pietroalbini:triagebot

Commits

Commits on Jul 19, 2019