Re: [Phpmyadmin-devel] Continuous integration