Re: 6516099: InputStream.skipFully(int k) to skip exactly k bytes

[Brian Burkhalter]

Thanks to everyone who commented on this: it’s pushed at last.

Brian