bumping shell-version to current gnome dev version