22 Jul
2015
22 Jul
'15
3 p.m.
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