Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Auto merge of #10380 - hi-rustin:rustin-patch-badges, r=alexcrichton
Remove outdated badges We seem to have abandoned it early on.
- Loading branch information