Subject: Close

From: Andreas Enge <[email-masked]>
Date: Wed, 26 Jul 2023 16:00:40 +0200

I just ran the patch, and can confirm that it enables the build of openjdk@9
on aarch64. So I have pushed it and am closing this bug.

More discussion at https://issues.guix.gnu.org/issue/63069 .

Andreas