Skip to content

Add short emoji status to toolstate updates#56758

Merged
bors merged 1 commit intorust-lang:masterfrom Manishearth:emoji-status-toolstateDec 15, 2018

Commits

Commits on Dec 12, 2018