bison-patches
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [PATCH 0/5] Update gnulib, and minor changes


From: Akim Demaille
Subject: Re: [PATCH 0/5] Update gnulib, and minor changes
Date: Wed, 9 May 2018 19:09:25 +0200


> Le 8 mai 2018 à 17:02, Akim Demaille <address@hidden> a écrit :
> 
> The series of commits is just there to remove a part of dust.
> That had landed on me.

Installed in the maint branch.


reply via email to

[Prev in Thread] Current Thread [Next in Thread]