Subject: Re: [bug#40387] [PATCH] gnu: Set JAVA_HOME for all Java development kits.

From: Pierre Neidhardt <[email-masked]>
Date: Fri, 18 Dec 2020 13:31:21 +0100

Sorry, I forgot, I've moved on since then.
Maybe it was for some Clojure thing.

-- 
Pierre Neidhardt
https://ambrevar.xyz/