2014-08-11

Most individual workstations (as well as all the public workstations) have now been upgraded to 64-bit Red Hat Enterprise Linux 6.