"Joel E. Denny" <[EMAIL PROTECTED]> writes: > Paul, this is a pretty obvious patch. > Should we slip it in before the release?
Yes, please do that. Thanks for fixing the bug. _______________________________________________ help-bison@gnu.org http://lists.gnu.org/mailman/listinfo/help-bison