+1

On 6/2/2016 5:48 PM, Brian Burkhalter wrote:
Please review at your convenience this API doc-only change:

Issue:  https://bugs.openjdk.java.net/browse/JDK-8136738
Patch:  http://cr.openjdk.java.net/~bpb/8136738/webrev.00/

Summary:

Try to make the specification of InputStream.skip() slightly more precise.

Thanks,

Brian

Reply via email to