From: espen Date: Mon, 20 Aug 2007 11:15:13 +0000 (+0000) Subject: New type USER-CALLBACK and a bug fix X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/clg/commitdiff_plain/e69e261866aaac26d68697d2b36e1783be232c1c?ds=inline;hp=e69e261866aaac26d68697d2b36e1783be232c1c New type USER-CALLBACK and a bug fix ---