chiark / gitweb /
execute,util: fix two small memory leaks