Re: [Phpmyadmin-devel] Double-checking a commit