[gjs: 3/3] Merge branch 'issue258' into 'master'

[Philip Chimento <pchimento src gnome org>]

commit 739f625b910f987997b70af9a1f748b33b73faab
Merge: c6998f3e 95a20cb7
Author: Philip Chimento <philip chimento gmail com>
Date:   Thu Jun 27 17:42:19 2019 +0000

    Merge branch 'issue258' into 'master'
    
    Fixes for configure script and sysprof
    
    Closes #258
    
    See merge request GNOME/gjs!309

 configure.ac | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)
---