phpMyAdmin 4.0.2 is released

2013-05-24

Welcome to phpMyAdmin 4.0.2, a bugfix version.