Skip to content

Remove Stale bot's configuration#6463

Merged
bors merged 1 commit intorust-lang:masterfrom dwijnand:rip-stale-botDec 19, 2018

Commits

Commits on Dec 19, 2018