[gnome-desktop: 3/3] Merge branch 'wip/hadess/out-of-tree-ci' into 'master'

[Bastien Nocera <hadess src gnome org>]

commit c01dde2afe061593cf1138ce1ec219185ab5eb76
Merge: c393c180 757b976d
Author: Bastien Nocera <hadess hadess net>
Date:   Wed Aug 1 14:00:42 2018 +0000

    Merge branch 'wip/hadess/out-of-tree-ci' into 'master'
    
    Use out-of-tree build, and fix gettext port
    
    See merge request GNOME/gnome-desktop!6

 .gitlab-ci.yml                                  | 4 +++-
 gnome-version.xml.in.in => gnome-version.xml.in | 0
 2 files changed, 3 insertions(+), 1 deletion(-)
---