Subject: Still relevant?

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

Hello Anthony,

as written at
   https://issues.guix.gnu.org/63327
the much simpler patch given there enables openjdk@9 to be built on my
aarch64 machine.

So can this bug be closed?

Andreas