On Tuesday 21 June 2011, Ralf Wildenhues wrote:
> * Stefano Lattarini wrote on Tue, Jun 21, 2011 at 09:22:42PM CEST:
> > Hopefully the last iteration of the patches. A follow-up for
> > extending and fixing the documentation will go in a new thread.
>
> Can you push your branch for this to a bran
* Stefano Lattarini wrote on Tue, Jun 21, 2011 at 09:22:42PM CEST:
> Hopefully the last iteration of the patches. A follow-up for
> extending and fixing the documentation will go in a new thread.
Can you push your branch for this to a branch in the savannah git?
I'd like to take another look at t
