Merge branch 'master' of github.com:GNOME/vala

latest commit ec5183c9ce
Johan Mattsson authored