# HG changeset patch
# User wenzelm
# Date 1707823392 -3600
# Node ID 6e5f40cfa877a01d833742c6eac0d47614be1b0e
# Parent  b14c4cb37d99a1035780b480090a76183d808377
proper "linux_arm", amending 76ad72736e9e;

diff -r b14c4cb37d99 -r 6e5f40cfa877 Admin/components/PLATFORMS
--- 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