On this note it'd be great if you guys could at least revisit the
subject of some kind of open feedback from the bug tracker -- just a
way to subscribe to updates ("watch") on a particular issue would be
awesome.Dawid On Thu, May 21, 2015 at 9:55 PM, Brian Burkhalter <[email protected]> wrote: > > On May 21, 2015, at 12:54 PM, Robert Muir <[email protected]> wrote: > > Please note that this patch has been pushed: > > http://hg.openjdk.java.net/jdk9/dev/jdk/rev/e08b856baa26 > > > I just tested this with lucene's test suite without any issues. > > > Fantastic! Thanks for the testing corroboration: that is very good to know. --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
