(Release 9.3.1) Bump version