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.
