On Thu, 4 Feb 2021 23:23:56 GMT, David Holmes <[email protected]> wrote:
> I would have formatted the message differently as per my first comment. But > ok. Sorry, I misread part your original comment. I changed the message according to your suggestion. Cheers, Thomas ------------- PR: https://git.openjdk.java.net/jdk/pull/2350
