On Mon, 11 Sep 2023 12:12:17 GMT, Shaojin Wen <d...@openjdk.org> wrote:
> improve date toString performance, includes: > > java.util.Date.toString > java.util.Date.toGMTString > java.time.Instant.toString > java.time.LocalDate.toString > java.time.LocalDateTime.toString > java.time.LocalTime.toString This pull request has been closed without being integrated. ------------- PR: https://git.openjdk.org/jdk/pull/15658