Pardon me, but I might have said something inaccurate. Please allow me to clarify.
It's fixed in SVN, but it looks like release 4.2.18 happened days before that. (This might not matter for your purposes?) Cheers, --Dave -- To UNSUBSCRIBE, email to debian-bugs-rc-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
