diff -r 2444c8b85aac -r 88b8bc6a6e5f Admin/PLATFORMS
--- a/Admin/PLATFORMS	Wed Jan 23 17:20:35 2019 +0100
+++ b/Admin/PLATFORMS	Wed Jan 23 20:27:00 2019 +0100
@@ -31,7 +31,7 @@
 following base-line versions (which have been selected to be neither
 too old nor too new):
 
-  x86_64-linux      Ubuntu 12.04 LTS
+  x86_64-linux      Ubuntu 14.04 LTS
 
   x86_64-darwin     Mac OS X 10.10 Yosemite (macbroy31 MacBookPro6,2)
                     Mac OS X 10.11 El Capitan (macbroy2 MacPro4,1)