On Fri, 27 Jan 2023 18:22:11 GMT, Raffaello Giulietti <rgiulie...@openjdk.org> wrote:
>> Raffaello Giulietti has updated the pull request incrementally with one >> additional commit since the last revision: >> >> 8300869: Make use of the Double.toString(double) algorithm in >> java.util.Formatter >> >> Added tests for known differences between current and new behavior. > > Added tests for known differences. > > Most of the modified files are generated automatically by a script that, > somewhat questionably, renews the copyright year in some of the files for no > apparent reason. I've spoken to @rgiulietti about this PR; since there behavioral changes of possible interest, I'm requesting a CSR to cover those changes. ------------- PR: https://git.openjdk.org/jdk/pull/12259