[gjs: 2/2] Merge branch 'profile' into 'master'

[Philip Chimento <pchimento src gnome org>]

commit db4b5ed072263eed7111f1a5522fae19a670a6d4
Merge: a716502c 6634a7e9
Author: Philip Chimento <philip chimento gmail com>
Date:   Thu Feb 1 20:26:50 2018 +0000

    Merge branch 'profile' into 'master'
    
    CI: use a more robuts test for profiling dumping
    
    See merge request GNOME/gjs!56

 installed-tests/scripts/testCommandLine.sh | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)
---