On Tue, 19 Nov 2024 15:50:07 GMT, Alexey Semenyuk <asemenyuk at openjdk.org> wrote: > Bad merge fix The patch worked for me; lets get this fixed. ------------- Marked as reviewed by rriggs (Reviewer). PR Review: https://git.openjdk.org/jdk/pull/22241#pullrequestreview-2446050094