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



commit 69ac502d1af16271b3a261118dcd35833c324119
Merge: 28eab5a0 63f9b87c
Author: Philip Chimento <philip chimento gmail com>
Date:   Fri Feb 2 19:21:02 2018 +0000

    Merge branch 'dev' into 'master'
    
    CI: use the fastest approach to build
    
    See merge request GNOME/gjs!57

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


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