phpMyAdmin 4.0.1 is released

2013-05-14

Welcome to phpMyAdmin 4.0.1, a bugfix version.