On Wed, 29 Jul 2026 13:50:58 GMT, Daniel D. Daugherty <[email protected]> wrote:
>> Christian Hagedorn has updated the pull request incrementally with one >> additional commit since the last revision: >> >> Apply suggestion from @TobiHartmann >> >> Co-authored-by: Tobias Hartmann <[email protected]> > > Thumbs up. Thanks @dcubed-ojdk, your review was (hopefully) just in time to be picked up by the bot :-) Edit: it was! ------------- PR Comment: https://git.openjdk.org/valhalla/pull/2679#issuecomment-5118673741
