Subject: Re: Patch for #3865: Would somebody please commit on HEAD and branch?
From: Chong Yidong <[email-masked]>
To: [email-masked]
Cc: [email-masked]
Date: Fri, 17 Jul 2009 15:44:39 -0400

Tassilo Horn <[email-masked]> writes:

> this patch fixes the inconveniences Reiner pointed out in #3865.  Could
> somebody please commit it for me on branch and head?

I've checked it into the trunk.  I don't think this is serious enough to
commit to the branch.