It seems like
http://buildbot.rust-lang.org/bors/bors.htmlhasn't change in a while. NIko _______________________________________________ Rust-dev mailing list [email protected] https://mail.mozilla.org/listinfo/rust-dev
- [rust-dev] Is Bors active? Niko Matsakis
- Re: [rust-dev] Is Bors active? Graydon Hoare
