fix another one of bad frees from Julius
authorChristian Grothoff <christian@grothoff.org>
Tue, 26 Jun 2018 15:04:12 +0000 (17:04 +0200)
committerChristian Grothoff <christian@grothoff.org>
Tue, 26 Jun 2018 15:04:12 +0000 (17:04 +0200)
commit3bb2a26da20d649189acf255faf685f2f3ac79d6
treee72fcf698f94c0015ae78d700930fee8d015933f
parent90647179143fe8b4f1b9c079663b0cfb611a0636
fix another one of bad frees from Julius
src/util/disk.c