On Mon, Mar 19, 2018 at 6:28 AM, James Cowgill <[email protected]> wrote: > I've attached a patch to fix this.
I really appreciate your patch! Are you interested in submitting this as a merge proposal upstream? https://gitlab.gnome.org/GNOME/gjs Thanks, Jeremy Bicha
