hi, your patch for this bug didn't seem to apply, and i don't have a lot of free time right now. it seems like a fine improvement, so if you push it to the git repo, i'll accept it.
mike -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
