> On Mar 6, 2018, at 8:41 AM, Jochen Wiedmann <[email protected]> wrote: > >> On Tue, Mar 6, 2018 at 2:24 PM, Gilles <[email protected]> wrote: >> (1) >> "FindBugs" should be replaced by "SpotBugs" (or there will >> be failures when creating "module-info" files). > > +1 to doing this change quickly, possibly blocking a release.
Fair point. I’ll cancel. -Rob > > Jochen > > --------------------------------------------------------------------- > 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]
