On Tue, 12 Jan 2021 07:26:44 GMT, Richard Fussenegger 
<[email protected]> wrote:

>> Requested feedback on the API addition/modifications:
>> https://mail.openjdk.java.net/pipermail/core-libs-dev/2020-December/072530.html
>
> Active

Active

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

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

Reply via email to