Re: [phpMyAdmin Developers] Time for 4.7.6?