phpbb/phpbb — pull request #1824 by bantu (2013-10-25 11:41:38+00:00)
Title: [ticket/11920] Pin MariaDB repository to avoid conflicts with Ubuntu MySQL.

http://tracker.phpbb.com/browse/PHPBB3-11920