phpMyAdmin 4.1.13 is released

2014-04-13

Welcome to phpMyAdmin 4.1.13, a bugfix version.