On Wed, 10 Mar 2021 23:03:03 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. This pull request has now been integrated. Changeset: d7268fa3 Author: Brian Burkhalter <b...@openjdk.org> URL: https://git.openjdk.java.net/jdk/commit/d7268fa3 Stats: 9 lines in 1 file changed: 1 ins; 0 del; 8 mod 8251942: PrintStream specification is not clear which flush method is automatically invoked Reviewed-by: dfuchs, alanb ------------- PR: https://git.openjdk.java.net/jdk/pull/2926
