phpMyAdmin 4.2.13 is released

2014-11-30

Welcome to phpMyAdmin 4.2.13, a bugfix version. This will be the last release in the 4.2 family (except for urgent fixes).