WordPress 4.2 released

WordPress 4.2 has been released.