On Wed, 5 Nov 2025 14:54:11 GMT, Christian Hagedorn <[email protected]> wrote:
>> Manuel Hässig has updated the pull request incrementally with one additional >> commit since the last revision: >> >> Review Christian > > Looks reasonable to me, thanks for fixing this! Thank you for having a look, @chhagedorn. I removed the repeated compilation. ------------- PR Comment: https://git.openjdk.org/valhalla/pull/1716#issuecomment-3495537596
