Yup.  That bug has been fixed in the CVS, and will be fixed in the
next release.  Thanks for the report.


Reply via email to