]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 7b2122b 0beaccb)
rollup merge of #19204: mcpherrinm/master
authorJakub Bukaj <jakub@jakub.cc>
Sun, 23 Nov 2014 19:11:53 +0000 (14:11 -0500)
committerJakub Bukaj <jakub@jakub.cc>
Sun, 23 Nov 2014 19:11:53 +0000 (14:11 -0500)
The old name was sensible when this module was PriorityQueue but isn't
anymore.


Trivial merge
Empowering everyone to build reliable and efficient software.