Commit d5c3cdca201cac20e4df0983d9a1be11f37698ce

Niels Provos 2008-06-12T14:45:29

from trunk: allow min_heap_erase to be called on removed members; from liusifan svn:r850