| Wed, 06 Jan 2021 16:14:05 +0100 | wenzelm | proper purge for arm64-darwin; | changeset | files |
| Wed, 06 Jan 2021 16:12:35 +0100 | wenzelm | updated jdk-15.0.1+9, including arm64-darwin; | changeset | files |
| Wed, 06 Jan 2021 15:14:48 +0100 | wenzelm | discontinued somethat pointless sharing: too complicated; | changeset | files |