Re: [Phpmyadmin-devel] Travis fails for the bug patch I have written