On Mon, 18 Jan 2021 11:25:32 GMT, Tobias Hartmann <thartm...@openjdk.org> wrote:
> Otherwise, looks good to me. Thanks Tobias. I added your suggestion. Cheers, Thoams ------------- PR: https://git.openjdk.java.net/jdk/pull/2063
On Mon, 18 Jan 2021 11:25:32 GMT, Tobias Hartmann <thartm...@openjdk.org> wrote:
> Otherwise, looks good to me. Thanks Tobias. I added your suggestion. Cheers, Thoams ------------- PR: https://git.openjdk.java.net/jdk/pull/2063