Thanks for fixing this bug! I went ahead and updated the bug with comments on your proposed changes.
Also, the process documented on the wiki for opening bugs in bugzilla and submitting patches is documented here: https://wiki.eclipse.org/EclipseLink/Development/Process. However, I do like the thought of using pull requests in lieu of creating patch files. Seeing the bug linked to the pull request is nice too. Do others have thoughts on this? Is there another page somewhere with an updated process for using GitHub?
On Mon, May 29, 2017 at 3:44 PM, Henrik Hegardt <[hidden email]> wrote: