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