On 10/10/19 12:19 PM, Paul Eggert wrote:
I installed the attached, which should fix the problem in a better way.
Whoops, forgot to attach it; but you can see it here: https://git.savannah.gnu.org/cgit/bison.git/commit/?id=3f320159e32870bbba3b526da3290880bb15debc
