(Release 8.0.1) Bump version