On Wed, 7 Jan 2026 18:22:06 GMT, Vicente Romero <[email protected]> wrote:
> simple constant renaming as suggested by Remi This pull request has now been integrated. Changeset: e23d19c2 Author: Vicente Romero <[email protected]> URL: https://git.openjdk.org/valhalla/commit/e23d19c20bd914d01fa4ade1c4ba26ef850d2a19 Stats: 17 lines in 9 files changed: 1 ins; 3 del; 13 mod renaming NULLCHK2 to NULLRESTRICTEDCHK ------------- PR: https://git.openjdk.org/valhalla/pull/1865
