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