I have found a bug in the 5.1.2 release and wish to make post a fix which I believe should fix the issue.
Are there ongoing patch releases for 5.1.2, or is it better to post the fix to the 5.2 release candidate, which looks like it is being worked on currently?
Thanks,
Robert