Document PriorityQueue.#15856
Merged
bors merged 2 commits intorust-lang:masterfrom Jul 24, 2014
treeman:doc-priorityqueue
Merged
Document PriorityQueue.#15856bors merged 2 commits intorust-lang:masterfrom treeman:doc-priorityqueue
bors merged 2 commits intorust-lang:masterfrom
treeman:doc-priorityqueue