-
Wim Taymans authored
When we remove our elements, we could lose our sink flag. Make sure we remain a sink by setting the flag again after removing elements.
65773b58
When we remove our elements, we could lose our sink flag. Make sure we remain a sink by setting the flag again after removing elements.