Re: Patch queue at Savannah

[Akim Demaille]

Le 17 mars 2012 à 21:02, Paul Eggert a écrit :

> Thanks, I fixed up all those old patch reports in Savannah,
> installing the attached patch to fix the documentation,
> so now there's just one proposed patch left, awaiting info
> <https://savannah.gnu.org/patch/?4474>.

I have installed it in maint.  Please, put
simple fixes there too.  I expect to release
2.5.1 in the next couple of months, earlier if
lucky.

> Maybe we should switch to debbugs?  It's more commonly
> used these days, at least among projects I help maintain.

I'd be fine with this move.