craigmj/mariadb10 — pull request #1 by karloskar (2014-04-13 06:40:04+00:00)
Title: Added variable for MariaDB repository

I'd rather fetch MariaDB from somewhere closer :)