chiark / gitweb /
Patch from Ton van Overbeek to fix a small memory leak in