On Wed, Jul 22, 2015 at 02:56:53PM +0200, Christophe Fergeau wrote:
The program exits right after this, so it's no big deal, but this
gives
us a clean valgrind --leak-check=full output.
Ah, messed up my push of the 4 patches which were ACK'ed earlier, and
pushed that one too :(
Christophe