chiark / gitweb /
Changed memory semantics of internal queries to fix bugs.