Raise version number after bug-fix