On Wed, 6 May 2026 12:15:41 GMT, Maurizio Cimadamore <[email protected]> wrote:
> The merge attempt in https://github.com/openjdk/valhalla/pull/2391 contained > correct code, > but bad merge PR title led to the commits beings squashed into one. So, I'm > undoing > all changes here, and I'll try to merge again later. > This reverts commit aad37f27c617431b01bdb8400762ec12691f7482. > > --------- > - [x] I confirm that I make this contribution in accordance with the [OpenJDK > Interim AI Policy](https://openjdk.org/legal/ai). @mcimadamore Not sure if the check failure is related to > Progress > Change must not contain extraneous whitespace ------------- PR Comment: https://git.openjdk.org/valhalla/pull/2394#issuecomment-4397455596
