On Friday 09 September 2011, Henning Westerholt wrote: > [..] > You can try to apply this patch locally, wait until next week for 3.1.4 or > check out the 3.1 master branch from the repository. small correction, i meant of course 3.1.5, the 3.1.4 was released some month ago. Henning