This does not appear to have been pushed yet--are there any objections to the patch?
It looks like nobody who can push patches reads this mailing list anymore. So, well, maybe I should take over maintainership after all? _______________________________________________ elephant-devel site list elephant-devel@common-lisp.net http://common-lisp.net/mailman/listinfo/elephant-devel
