Allow claiming issues with triagebot#60891
Merged
bors merged 1 commit intorust-lang:masterfrom May 17, 2019
jonas-schievink:triagebot-claim
Merged
Allow claiming issues with triagebot#60891bors merged 1 commit intorust-lang:masterfrom jonas-schievink:triagebot-claim
bors merged 1 commit intorust-lang:masterfrom
jonas-schievink:triagebot-claim
