On Wed, Sep 20, 2017 at 09:47:25PM +0200, Martin Ågren wrote: > We don't free the temporary scratch space we use with > `remove_redundant()`. Free it similar to how we do it in > `get_merge_bases_many_0()`. Yep, seems very straightforward, and there are no code paths where we wouldn't want this. -Peff