Update release date
Fix up some version related things on the devel branch.