diff -r 78401d628718 -r 2803d2b8f85d Admin/PLATFORMS
--- a/Admin/PLATFORMS	Sun Jul 17 11:47:35 2016 +0200
+++ b/Admin/PLATFORMS	Tue Jul 19 09:55:03 2016 +0200
@@ -30,8 +30,8 @@
 following reference versions (which have been selected to be neither
 too old nor too new):
 
-  x86-linux         Ubuntu 10.04 LTS
-  x86_64-linux      Ubuntu 10.04 LTS
+  x86-linux         Ubuntu 12.04 LTS
+  x86_64-linux      Ubuntu 12.04 LTS
 
   x86_64-darwin     Mac OS X 10.8 Mountain Lion (macbroy30)
                     Mac OS X 10.9 Mavericks (macbroy2)