Merge branch 'master' into devel
Merge branch 'master' into devel
Allows to set an specific vala version in the configuration file, or let autovala set automatically the most recent version available
Merge branch 'devel'