On Thu, 8 Aug 2024 12:26:46 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
>> Can I leave this part as-is? > > Yes, leave it in this patch to the documentation. If I address the core issue > in configure, I'll update the docs as well. For reference, I filed this: https://bugs.openjdk.org/browse/JDK-8338059 ------------- PR Review Comment: https://git.openjdk.org/jdk/pull/20197#discussion_r1709385270