On Mon, 16 Nov 2020 15:15:02 GMT, Andy Herrick <herr...@openjdk.org> wrote:

> … fix linux DTI

This pull request has been closed without being integrated.

-------------

PR: https://git.openjdk.java.net/jdk/pull/1229

Reply via email to