We need to bump version numbers, update ChangeLog and possibly apply other changes prior to the 0.13 release.
