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



commit e2b0548f81885d6f0e8c77198aad78a5934efb8c
Merge: fc7123b c24fe6a
Author: Philip Chimento <philip chimento gmail com>
Date:   Tue Mar 27 05:23:54 2018 +0000

    Merge branch 'manual' into 'master'
    
    CI: run Valgrind only if requested
    
    See merge request GNOME/gjs!107

 .gitlab-ci.yml | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)
---


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