On Thu, 05 May 2011 20:27:09 +0200, Rémi Vanicat <[email protected]> wrote: > Pieter Praet <[email protected]> writes: > > > > > I actually considered that, but was in a bit of a hurry. > > > > Since I've already issued a pull request, perhaps it's better to wait > > for it to be merged in before further amending the documentation. > > I believe you can update the pull request by adding some commit to it.
I know, it was just a lazy excuse :) It's updated now, and I've taken the liberty of stuffing a few extra documentation-related changes in the pipeline. > -- > Rémi Vanicat Peace -- Pieter
