[gjs] (2 commits) ...Merge branch 'coverage' into 'master'
- From: Philip Chimento <pchimento src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gjs] (2 commits) ...Merge branch 'coverage' into 'master'
- Date: Mon, 11 Jun 2018 05:32:09 +0000 (UTC)
Summary of changes:
a246552... CI: use Ubuntu in the coverage job
38decc3... Merge branch 'coverage' into 'master'
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]
