[gjs: 3/3] Merge branch '196-dtrace' into 'master'

[Cosimo Cecchi <cosimoc src gnome org>]

commit 239f338ea7de798f7949367a1ddd6e0b5ed95c7b
Merge: ddfde8d5 02fc0597
Author: Cosimo Cecchi <cosimo cecchi gmail com>
Date:   Fri Nov 9 04:54:39 2018 +0000

    Merge branch '196-dtrace' into 'master'
    
    Resolve "Fix build with --enable-dtrace and create CI job to ensure it doesn't break in the future"
    
    Closes #196
    
    See merge request GNOME/gjs!253

 .gitlab-ci.yml | 11 +++++++++++
 gi/object.cpp  |  2 +-
 2 files changed, 12 insertions(+), 1 deletion(-)
---