Re: [Phpmyadmin-devel] committing a patch to git