Ok, that is the 5.1.4 release not the 5.1 nightly, so I was confused earlier. This has been fixed and will be contained in the next bug fix release.
Ok, that is the 5.1.4 release not the 5.1 nightly, so I was confused earlier. This has been fixed and will be contained in the next bug fix release.