Re: [phpMyAdmin Developers] Pull request issues