It seems that the version bump PR wasn't opened by the bot; not sure if this is the right repository.