On Wed, 14 Jun 2023 17:00:41 GMT, Florian Weimer <fwei...@openjdk.org> wrote:
>> @prrace @kevinrushforth Any chance to get this reviewed? Thanks. > >> @fweimer-rh Please do not rebase or force-push to an active PR as it >> invalidates existing review comments. Note for future reference, the bots >> always squash all changes into a single commit automatically as part of the >> integration. > > Sorry, I forgot about that. There weren't any reviewer comments so far, so no > harm done? @fweimer-rh For this simple fix, a single reviewer is sufficient. You can `/integrate` this fix when ready. ------------- PR Comment: https://git.openjdk.org/jfx/pull/1128#issuecomment-1594534453