Re: [9] 8064562: (doc) errors in java.io.PushbackInputStream API documentation

[Brian Burkhalter]

Thanks, Lance,

Indeed, I was merely the amanuensis, or more precisely, the scribe. ;-)

Cheers,

Brian

On Feb 11, 2015, at 7:08 AM, Lance Andersen <lance.ander...@oracle.com> wrote:

> looks fine brian, the bug did a good job of explaining the issues.