JuliaLang/julia — pull request #3286 by tanmaykm (2013-06-04 08:37:20+00:00)
Title: delete / out of order dequeue on PriorityQueue

A dequeue! variant that removes the specified key from the queue.
Useful for just deleting an entry from the queue.