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

PHPBB3-11920

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