[phpMyAdmin Git] [phpmyadmin/phpmyadmin] de1e47: Changelog entry for issue #12416