So far as I'm aware, I don't have write permision on the repository. J'
On Sun, May 11, 2014 at 11:33:36AM +0200, Andreas Enge wrote: > It compiles well for me. I think you can push such updates immediately if > they compile in your system, maybe with an eye on hydra.gnu.org to see if > there are problems, in particular with packages using the updated one as > input. > > Andreas >