Thank you, I'll open an issue.
-Júlio
- [julia-users] Priority queue - peek versus dequeue! Júlio Hoffimann
- [julia-users] Re: Priority queue - peek versus deque... David P. Sanders
- Re: [julia-users] Re: Priority queue - peek vers... Júlio Hoffimann
Thank you, I'll open an issue.
-Júlio