facebook/hiphop-php — pull request #991 by jonthulu (2013-08-26 21:33:39+00:00)
Title: SplPriorityQueue cloning bug

Fixes bug where the priority queue heap object would not be cloned when the splPriorityQueue object was cloned.

This same bug might affect other Spl object that use a heap, but I didn't have time to look into them as well.