>>>>> "Ralf" == Ralf Corsepius <[EMAIL PROTECTED]> writes:

Ralf> So, below is a patch to address this issue by applying make -s. 
Ralf> If this doesn't work out, the entire check probably needs to be
Ralf> reworked.

Thanks, I checked this in.

I wrote up the test as part of the patch and verified it.  I also
wrote a ChangeLog entry.

Tom

Reply via email to