Mysql to mariadb rerun
Updates mysql to latest stable version of mariadb (10.4.12). Includes patch for mariadb_config, allowing it to find the correct install directory on CVMFS by using the environment variable MYSQL_HOME.
Updates mysql to latest stable version of mariadb (10.4.12). Includes patch for mariadb_config, allowing it to find the correct install directory on CVMFS by using the environment variable MYSQL_HOME.