Mon, 04 Jan 2021 15:14:26 +0100 | Mike Becker | set target JDK to 11, even if compiled with > 11 | changeset | files |
Mon, 04 Jan 2021 12:45:46 +0100 | Mike Becker | Automated merge | changeset | files |
Mon, 04 Jan 2021 12:45:22 +0100 | Mike Becker | fixes #120 - thin border rendering for Chrome | changeset | files |
Mon, 04 Jan 2021 12:41:11 +0100 | Mike Becker | fixes #119 - missing translation of version status labels | changeset | files |