Maintenence badge front end#952
Merged
bors-voyager[bot] merged 1 commit intorust-lang:masterfrom Aug 30, 2017
vignesh-sankaran:badge-component
Merged
Maintenence badge front end#952bors-voyager[bot] merged 1 commit intorust-lang:masterfrom vignesh-sankaran:badge-component
bors-voyager[bot] merged 1 commit intorust-lang:masterfrom
vignesh-sankaran:badge-component