[gjs: 2/2] Merge branch 'tune' into 'master'

From: Philip Chimento <pchimento src gnome org>
To: commits-list gnome org
Cc:
Subject: [gjs: 2/2] Merge branch 'tune' into 'master'
Date: Wed, 7 Mar 2018 01:08:44 +0000 (UTC)

commit 8edd2ba808e676ee3150b9a45f34fc2ec51f82e2
Merge: 5deee85 f587b73
Author: Philip Chimento <philip chimento gmail com>
Date:   Wed Mar 7 01:07:53 2018 +0000

    Merge branch 'tune' into 'master'
    
    CI: correct the paths of the lint report
    
    See merge request GNOME/gjs!84

 test/test-ci.sh | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)
---

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