fix more unfreed memory

This commit is contained in:
Devin J. Pohly 2020-07-23 17:34:50 -04:00
parent bc65c1a570
commit 8b13e42d3f