[gjs: 2/2] Merge branch '410-destruct-log-file' into 'master'

[Philip Chimento <pchimento src gnome org>]

commit 23716bd4dc17c8de316fa387cdc0e29edabee5f8
Merge: 0244b5cb 37ee770f
Author: Philip Chimento <philip chimento gmail com>
Date:   Mon May 17 05:07:17 2021 +0000

    Merge branch '410-destruct-log-file' into 'master'
    
    system: Use RAII in System.dumpHeap and logging for file pointer
    
    Closes #410
    
    See merge request GNOME/gjs!622

 modules/system.cpp | 21 +++++++--------------
 util/log.cpp       | 19 ++++++++-----------
 util/misc.h        | 40 +++++++++++++++++++++++++++++++++++++++-
 3 files changed, 54 insertions(+), 26 deletions(-)
---