Re: [Phpmyadmin-devel] Git repo update