Re: [Phpmyadmin-devel] jenkins error?