On Wed, 14 Jun 2023 17:00:41 GMT, Florian Weimer <fwei...@openjdk.org> wrote:
> Sorry, I forgot about that. There weren't any reviewer comments so far, so no > harm done? Right. Merging would have made it easier for me to check that there were no changes relative to your earlier commit, but this is a simple-enough fix that it's OK. ------------- PR Comment: https://git.openjdk.org/jfx/pull/1128#issuecomment-1591678905
