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

From: Pierre Neidhardt <[email-masked]>
Date: Thu, 02 Apr 2020 11:03:42 +0200

/tmp is a separate partition but it's a tmpfs, it uses my virtual
memory which is largely free (5GiB+).

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