Re: RFR: 8301302: Platform preferences API [v17]

Mon, 30 Oct 2023 14:04:00 -0700 

On Mon, 30 Oct 2023 20:54:43 GMT, Michael Strauß <[email protected]> wrote:

> I added a [ticket](https://bugs.openjdk.org/browse/JDK-8319140) in JBS
Thank you!

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

PR Comment: https://git.openjdk.org/jfx/pull/1014#issuecomment-1786031436

Reply via email to