On Mon, Mar 19, 2018 at 6:28 AM, James Cowgill <jcowgill at debian.org> 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