id,summary,reporter,owner,description,type,status,milestone,component,version,severity,resolution,keywords,cc
12031,binomial heap bug,Tob.Rupp@…,timblechmann,"The update function does not always work correctly, thus the heap validity is not guaruanteed.
The error is caused by an optimiziation inside the update function which relies on the correct setting of ""this_node->parent"", which is not given.",Bugs,closed,To Be Determined,heap,Boost 1.54.0,Problem,fixed,,