On Sun, Jun 11, 2023 at 08:29:09PM +0200, Rubén Justo wrote:

Each of the commits (except 11/11) fixes a leak.  They have no
dependencies on each other.  As a result, they can be reordered.

Thanks for a pleasant read. I think each case is correct, though I left
a few minor comments. Some of them are things I think are worth
including in a re-roll. Others are things that we _could_ go further to
refactor for clarity, but I am OK if you want to stay focused on the
minimal leak-fixes.

-Peff