From: bors Date: Sat, 6 Sep 2014 10:31:29 +0000 (+0000) Subject: auto merge of #16997 : gamazeps/rust/master, r=huonw X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=a356e98803065a0e093c033a6e431099e0ea432e;p=rust.git auto merge of #16997 : gamazeps/rust/master, r=huonw Changed the names according to the issue #16988 --- a356e98803065a0e093c033a6e431099e0ea432e