GitHub PushEvent at 2014-08-21 16:25:58
Repository: rust
Actor: bors
Payload: {"shas":[["d1e37399a2e7ca35ccb49f75fb24f114abc1f6fa","9ce5770b3bb4b2a1d59be2d97e34379cd192299f@steveklabnik.com","Make note that Ordering is builtin.\n\nThis way people won't try to copy/paste it in.","Steve Klabnik",true],["ebc357dd7ba8118c3cf449b16a547d14f4df0f80","3a2c29237f73c7cf88424b80e427b1884f346b35@rust-lang.org","auto merge of #16635 : steveklabnik/rust/ordering_comment, r=huonw\n\nThis way people won't try to copy/paste it in.\r\n\r\nThis is provided as an alternate solution to #16003. What do you think, @treeman?","bors",true]],"size":2,"ref":"refs/heads/auto","head":"ebc357dd7ba8118c3cf449b16a547d14f4df0f80"}