phpMyAdmin 4.1.2 is released

2013-12-23

Welcome to phpMyAdmin 4.1.2, a bugfix version.