| changeset 79591 | 6e5f40cfa877 |
| parent 79563 | 76ad72736e9e |
| child 79756 | 444e409e6c6f |
--- a/Admin/components/PLATFORMS Mon Feb 12 09:30:22 2024 +0000 +++ b/Admin/components/PLATFORMS Tue Feb 13 12:23:12 2024 +0100 @@ -50,7 +50,7 @@ Experimental platforms: - arm64-linux Ubuntu 18.04 LTS (e.g. via "docker run -it ubuntu:20.04 bash") + arm64-linux Ubuntu 18.04 LTS (e.g. via "docker run -it ubuntu:18.04 bash") 64 bit vs. 32 bit platform personality