WordPress 3.01

WordPress was updated from 3.0 to 3.01. The first update failed, but the second attempt appears to be fine.