> > Please create a PR on GitHub so we can see build results in all the OSs and > Java versions we test there. >
Sure thing. The instructions say to reference a JIRA ticket number in the subject line. Should I create a formal bug report first or is a standalone PR sufficient? >