Skip to content

Allow claiming issues with triagebot#60891

Merged
bors merged 1 commit intorust-lang:masterfrom
jonas-schievink:triagebot-claim
May 17, 2019

Commits

Commits on May 16, 2019