David Craven <da...@craven.ch> writes: > We already agreed to drop the patch.
I didn't know that when I wrote my message, because I hadn't finished
reading the thread.
> Since this is a point of disagreement I think this is a discussion
> that should be had.
Having now read the entire thread, I'd prefer not to discuss this
further with you, but if you insist, please raise it on
<gnu-linux-li...@nongnu.org>, not here.
Mark
