On Fri, 30 Jun 2023 09:57:04 GMT, Matthias Baesken <[email protected]> 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

Reply via email to