[phpMyAdmin Git] [phpmyadmin/phpmyadmin] 9df5ae: Changelog entry for #12531