[gjs: 3/3] Merge branch 'december-maintenance' into 'master'

[Cosimo Cecchi <cosimoc src gnome org>]

commit 9339f85d8b7430c4a9409efa5ff06ee71c3c3dc1
Merge: e298671 78601c0
Author: Cosimo Cecchi <cosimo cecchi gmail com>
Date:   Sun Dec 31 10:00:08 2017 +0000

    Merge branch 'december-maintenance' into 'master'
    
    December maintenance
    
    See merge request GNOME/gjs!36

 gjs/coverage.cpp            |  2 --
 gjs/jsapi-dynamic-class.cpp |  7 +++----
 gjs/jsapi-util.cpp          | 24 ++++++++----------------
 gjs/jsapi-util.h            | 16 ++++------------
 modules/system.cpp          |  6 ++----
 5 files changed, 17 insertions(+), 38 deletions(-)
---