Re: spelling fixes

[Akim Demaille]

> Le 26 juil. 2017 à 07:16, Josh Soref <address@hidden> a écrit :
> 
> Hi,
> Please find a branch with spelling fixes [1]. If you're not a fan of
> GitHub JavaScript, you can pull the git repository or download a basic
> diff [2].

Hi Josh!

Thanks for the patch.  You did wonders!  There are tons of mistakes
you fixed!  I suppose you used some tool to catch these errors.


Paul, for spelling fixes do we also need disclaimers, or would that
fall into the ‘trivial’ category?  See

https://github.com/jsoref/bison/compare/spelling.diff