>>> "Paul" == Paul Eggert <[EMAIL PROTECTED]> writes:
> That last message talks about the fix, but its patch is about > something else entirely (which confused me at the time, and now I see > it's confusing you too.... :-). > Here's where the fix actually is: > http://lists.gnu.org/archive/html/bison-patches/2005-09/msg00050.html :) Thanks!