RFR: 8029434: Spliterator of Stream returned by BufferedReader.lines() should have NONNULL characteristic
mike.duigou at oracle.com
Tue Dec 3 19:48:49 UTC 2013
Go ahead with pushing 8029483 as no approval is required for doc only change.
On Dec 3 2013, at 11:49 , Henry Jen <henry.jen at oracle.com> 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.
> On 12/03/2013 10:52 AM, Mike Duigou wrote:
>> Looks good to me.
>> On Dec 3 2013, at 10:36 , Henry Jen <henry.jen at oracle.com> wrote:
>>> Please review a small fix that add missing NONNULL characteristic and cleanup in javadoc.
>>> Thanks Anthony Vanelverdinghe for reporting of this bug.
More information about the core-libs-dev