]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #24234 - thiagooak:academic-research, r=steveklabnik
authorManish Goregaokar <manishsmail@gmail.com>
Sat, 11 Apr 2015 13:33:36 +0000 (19:03 +0530)
committerManish Goregaokar <manishsmail@gmail.com>
Sat, 11 Apr 2015 13:33:36 +0000 (19:03 +0530)
 #24004

Something like this?


Trivial merge