chiark / gitweb /
Added missing DESTROY-FUNCTION method for TREE-PATH