Issue #4768: update the version number