On Thu, 11 Mar 2021 20:57:24 GMT, Brian Burkhalter <b...@openjdk.org> wrote:
>> Please review this minor change to the specification of >> `java.io.PrintStream`. The longstanding behavior for flushing is to invoke >> the `flush()` method of the underlying `OutputStream` rather than its >> override but this was not made explicit in the specification. > > Brian Burkhalter has updated the pull request incrementally with one > additional commit since the last revision: > > 8251942: Scale back class level spec change Marked as reviewed by alanb (Reviewer). ------------- PR: https://git.openjdk.java.net/jdk/pull/2926
