GNU bug report logs - #40387
[PATCH] gnu: Set JAVA_HOME for all Java development kits.

Previous Next

Full log

View this message in rfc822 format

From: Pierre Neidhardt <mail <at> ambrevar.xyz>
To: Christopher Baines <mail <at> cbaines.net>
Cc: 40387 <at> debbugs.gnu.org
Subject: [bug#40387] [PATCH] gnu: Set JAVA_HOME for all Java development kits.
Date: Fri, 18 Dec 2020 13:31:21 +0100

[Message part 1 (text/plain, inline)]

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

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

[signature.asc (application/pgp-signature, inline)]

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.