I see the comment, however since all merged PR are automatically submitted into build service I thing it deserves version bump. Otherwise we have two different versions with same version number and it could be a bit confusing.