Go ahead with pushing 8029483 as no approval is required for doc only change.
Mike On Dec 3 2013, at 11:49 , Henry Jen <[email protected]> wrote: > I have separated the fix into two part, > > 8029434: Spliterator of Stream returned by BufferedReader.lines() should have > NONNULL characteristic > > 8029483: BufferedReader.lines() javadoc typo should be fixed > > So that we can at least fix the javadoc by jdk8 release if not the > characteristic. > > Cheers, > Henry > > On 12/03/2013 10:52 AM, Mike Duigou wrote: >> Looks good to me. >> >> Mike >> >> On Dec 3 2013, at 10:36 , Henry Jen <[email protected]> wrote: >> >>> Hi, >>> >>> Please review a small fix that add missing NONNULL characteristic and >>> cleanup in javadoc. >>> >>> Thanks Anthony Vanelverdinghe for reporting of this bug. >>> >>> http://cr.openjdk.java.net/~henryjen/tl/8029434/0/webrev/ >>> >>> Cheers, >>> Henry >>
