[gjs: 5/5] Merge branch 'december-maintenance' into 'master'

From: Cosimo Cecchi <cosimoc src gnome org>
To: commits-list gnome org
Cc:
Subject: [gjs: 5/5] Merge branch 'december-maintenance' into 'master'
Date: Wed, 1 Jan 2020 14:40:42 +0000 (UTC)

commit 331a401b41c9468a41003cd06dfc31fe2096f607
Merge: 52d0c361 e4b79a83
Author: Cosimo Cecchi <cosimo cecchi gmail com>
Date:   Wed Jan 1 14:39:55 2020 +0000

    Merge branch 'december-maintenance' into 'master'
    
    December maintenance
    
    See merge request GNOME/gjs!380

 gjs.doap         |  9 ++++-----
 gjs/context.cpp  |  2 +-
 gjs/coverage.cpp |  2 +-
 gjs/debugger.cpp |  3 ++-
 gjs/global.cpp   | 25 ++++++++++++++-----------
 gjs/global.h     |  6 +++---
 6 files changed, 25 insertions(+), 22 deletions(-)
---

[Date Prev][Date Next] [Thread Prev][Thread Next] [Thread Index] [Date Index] [Author Index]