id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
9202,Binomial Heap not Stable,André Grahl Pereira <andre.grahl.ai@…>,timblechmann,"Set the Binomial Heap as boost::heap::stable<true>, not  make the heap to be stable.",Bugs,closed,To Be Determined,heap,Boost 1.54.0,Problem,fixed,"binomial_heap, stable",