[libgda: 2/2] Merge branch 'wip/tools' into 'master'

[Daniel Espinosa Ortiz <despinosa src gnome org>]

commit 38ff50a40bb2f390310410102c01f4a8edd0745c
Merge: cd5473755 a764c02b7
Author: Daniel Espinosa Ortiz <esodan gmail com>
Date:   Mon Nov 25 18:32:13 2019 +0000

    Merge branch 'wip/tools' into 'master'
    
    TOOLS: Adding missed tools to the build system
    
    See merge request GNOME/libgda!94

 .gitlab-ci.yml        | 2 +-
 libgda/meson.build    | 2 +-
 meson.build           | 4 ++--
 meson_options.txt     | 2 +-
 providers/meson.build | 8 ++++----
 tools/meson.build     | 4 ++--
 6 files changed, 11 insertions(+), 11 deletions(-)
---