Re: [patch #9121] Add a missing word in the documentation

[Akim Demaille]

> Le 17 sept. 2016 à 20:33, Nate Guerin <address@hidden> a écrit :
> 
> URL:
>  <http://savannah.gnu.org/patch/?9121>
> 
>                 Summary: Add a missing word in the documentation
>                 Project: bison
>            Submitted by: gusennan
>            Submitted on: Sat 17 Sep 2016 06:33:16 PM GMT
>                Category: None
>                Priority: 5 - Normal
>                  Status: None
>                 Privacy: Public
>             Assigned to: None
>        Originator Email: 
>             Open/Closed: Open
>         Discussion Lock: Any
> 
>    _______________________________________________________
> 
> Details:
> 
> A git patch file is attached that adds a missing word in the text info
> documentation.

Thanks, installed!