Re: [phpMyAdmin Developers] Jenkins failure