>>>> "Mike" == Mike Alexander
Mike> I can apply them if people think that's appropriate.
The configure side looks good to me, so go ahead and commit.
Rick, thank you for the patch and sorry for not getting to it earlier, but it
was in my todo list.
Malcolm Purvis <malcolmp(a)xemacs.org>