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 <tres.finocchi...@gmail.com> 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? > > > >
