On Fri, 30 Jun 2023 09:57:04 GMT, Matthias Baesken <mbaes...@openjdk.org> wrote:
> Hi Alan, I adjusted the comment in DriverManager.java . Thanks, the update looks okay. ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/14593#discussion_r1257728322
