PR submitted. I've left it in draft per our discussions. Since I am a first time contributor, it will need intervention before the PR tasks are executed.
- [email protected] On Sun, Aug 28, 2022 at 1:20 PM Gary Gregory <[email protected]> wrote: > We can create a ticket later. If you want to create one now, that's > fine too. > > Gary > > On Sun, Aug 28, 2022, 12:21 Tres Finocchiaro <[email protected]> > wrote: > > > > > > > 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? > > > > > > > >
