[gjs: 8/8] Merge branch 'may-maintenance' into 'master'

[Cosimo Cecchi <cosimoc src gnome org>]

commit 9bbbf6ad0e8572fefab80d49b316bcfc5ae23ab5
Merge: fd2b5c49 268aa33e
Author: Cosimo Cecchi <cosimo cecchi gmail com>
Date:   Thu May 31 23:53:26 2018 +0000

    Merge branch 'may-maintenance' into 'master'
    
    May maintenance
    
    See merge request GNOME/gjs!153

 gi/boxed.cpp               | 32 +++++++-----------
 gjs/jsapi-util-string.cpp  |  3 +-
 test/gjs-test-coverage.cpp | 82 +++++++++++++++++-----------------------------
 3 files changed, 43 insertions(+), 74 deletions(-)
---