grosser/refilling_queue — pull request #2 by ducarroz (2014-11-20 16:26:40+00:00)
Title: Do not refill the queue when clearing it

we should just clear the queue and let it be refilled next time pop is called