A new database server was put in service on May 21. The server runs MariaDB 5.5 on RedHat 7.2 server.