Merge pull request #70891 from worldofpeace/gnome3-fixup-vala
gnome3: always use latest vala
authored by worldofpeace and committed by GitHub 6 years ago 87ed3e8a e6149855