Manage version number centrally.
Merge commit '07d79a161c66d0fe35924ebccd4fb184d02a2111' into HEAD