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