Commit fee5555
committed
Auto merge of rust-lang#12694 - hi-rustin:rustin-patch-bors, r=jonas-schievink
Remove useless bors.toml
It seems we do not use bors-ng anymore. So maybe this is useless.2 files changed
+1
-10
lines changedThis file was deleted.
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
196 | 196 | | |
197 | 197 | | |
198 | 198 | | |
199 | | - | |
| 199 | + | |
200 | 200 | | |
201 | 201 | | |
0 commit comments