Thanks Michael for investigating this.
Andor On 11/19/18 22:41, Michael Han wrote: > It's caused by https://github.com/apache/zookeeper/pull/673 recently got > merged; I just left a comment in the PR regarding possible fix. Did not > notice the Findbug issue before it's merged (the build failure was masked > by a flaky test...). > > On Mon, Nov 19, 2018 at 11:44 AM Enrico Olivelli <[email protected]> > wrote: > >> Il lun 19 nov 2018, 20:41 Andor Molnár <[email protected]> ha scritto: >> >>> Hi, >>> >>> >>> It seems we have a findbugs issue on master and as a consequence PR >>> builds cannot be green. >>> >> I think so >> >> Enrico >> >>> >>> Regards, >>> >>> Andor >>> >>> >>> -- >> >> -- Enrico Olivelli >>
