devtools

8c74f9d7 - Remove unnecessary pub upgrade from update-version command (#6877)