WordPress updated to 4.01

All our sites have now been upgraded to 4.01 of WordPress which has just been released. This is a security fix with no new features.