Adding a few chars to a commit is not onerous and it is useful. You may not want it now, but perhaps you would if you had it to use. _I_ certainly want it, and I think others would find it useful if it was there to use.
On Tue, Feb 18, 2014 at 1:37 PM, Steve Klabnik <st...@steveklabnik.com>wrote: > Yeah, I'm not into modifying every single commit, I basically only > want what bors already (apparently....) already does. >
_______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev
