Re: [Phpmyadmin-devel] changes on ci.phpmyadmin.net ?