On Thu, 6 Apr 2023 11:43:57 GMT, John Hendrikx <jhendr...@openjdk.org> wrote:
> There are some documentation changes in public API, is a csr needed? Thanks for checking. Since the changes are simple clarification, I'm OK letting this in without a CSR. ------------- PR Comment: https://git.openjdk.org/jfx/pull/1041#issuecomment-1498951696
