-- any reason for this or just lack of time? Just lack of time. I plan to include your patches and a few others' before the next release, i.e., soon.
Thanks, karl _______________________________________________ Bug-texinfo mailing list [EMAIL PROTECTED] http://mail.gnu.org/mailman/listinfo/bug-texinfo
