hg: jdk/submit: 2 new changesets

[thomas.stuefe at gmail.com]

Changeset: c42c76372e97
Author:    stuefe
Date:      2020-08-02 10:38 +0200
URL:       https://hg.openjdk.java.net/jdk/submit/rev/c42c76372e97

Closing


Changeset: b477d590d326
Author:    stuefe
Date:      2020-08-02 10:38 +0200
URL:       https://hg.openjdk.java.net/jdk/submit/rev/b477d590d326

Closing