783423 Add patch for binomial_heap::pop (#1294515)

Authored and Committed by Jonathan Wakely 8 years ago
    Add patch for binomial_heap::pop (#1294515)
    
        
file modified
+7 -1