On Mon, 14 Dec 2020 04:52:02 GMT, David Holmes <dhol...@openjdk.org> wrote:
> Hi Thomas, > Not an expert but this all seems quite reasonable to me. > Thanks, > David Thanks David! ------------- PR: https://git.openjdk.java.net/jdk/pull/1757
On Mon, 14 Dec 2020 04:52:02 GMT, David Holmes <dhol...@openjdk.org> wrote:
> Hi Thomas, > Not an expert but this all seems quite reasonable to me. > Thanks, > David Thanks David! ------------- PR: https://git.openjdk.java.net/jdk/pull/1757