Commit 9568660f626e314651d550ed8a06ac17e750a02d

Carlos Martín Nieto 2015-06-26T18:31:39

diff: fix leaks in diff printing