Reinhard Tartler wrote: > Antonio Radici <antonio at dyne.org> writes: > >> The git repository is also up to date. > > it seems you have forgotten to push. Can you please recheck? > Done now; sorry my origin was pointing to the wrong repository. Cheers Antonio