hg: jdk/submit: 2 new changesets

[thomas.stuefe at gmail.com]

Changeset: de17f4956769
Author:    stuefe
Date:      2020-05-25 09:31 +0200
URL:       https://hg.openjdk.java.net/jdk/submit/rev/de17f4956769

Closing


Changeset: 7bea81ef9465
Author:    stuefe
Date:      2020-05-25 09:31 +0200
URL:       https://hg.openjdk.java.net/jdk/submit/rev/7bea81ef9465

Closing