On Mon, 22 Sep 2025 12:58:46 GMT, David Simms <[email protected]> wrote:
> Post merge won't compile without precompiled headers This pull request has now been integrated. Changeset: d15b325d Author: David Simms <[email protected]> URL: https://git.openjdk.org/valhalla/commit/d15b325df79b18cdbea3a3244814dd2afdbe2124 Stats: 2 lines in 1 file changed: 2 ins; 0 del; 0 mod Missing include ------------- PR: https://git.openjdk.org/valhalla/pull/1607
