On Thu, 22 Feb 2024 14:33:18 GMT, Kevin Walls <kevinw at openjdk.org> wrote: > (I do like that we call it jvm.dll.map now, not just "jvm.map"!) You can thank @fthevenet for that! :) ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/17955#discussion_r1499355063