Am Di., 9. Apr. 2019 um 15:24 Uhr schrieb Rob Tompkins <[email protected]>:
> We want a jira for this? > I usually only create jira for things that impact users of the lib. So changes to the API or the behavior. But that's just my personal convention... :) Benedikt > > -Rob > > > On Apr 9, 2019, at 9:14 AM, Gary Gregory <[email protected]> wrote: > > > > +1 > > > > Gary > > > > On Tue, Apr 9, 2019 at 8:39 AM Rob Tompkins <[email protected]> wrote: > > > >> Thoughts on doing this switch? I’m heavily leaning towards it because I > >> can’t get code coverage to work on java 11 with the current build. > >> > >> -Rob > >> --------------------------------------------------------------------- > >> To unsubscribe, e-mail: [email protected] > >> For additional commands, e-mail: [email protected] > >> > >> > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [email protected] > For additional commands, e-mail: [email protected] > >
