On 10 February 2014 14:42, Andreas Färber <[email protected]> wrote: > Since Peter has not pulled yet, I'll pull or apply into my tree to check > if anything collides.
Just to be clear, that means I should not apply this pull request, correct? thanks -- PMM
