[gjs] (2 commits) ...Merge branch 'profile' into 'master'
- From: Philip Chimento <pchimento src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gjs] (2 commits) ...Merge branch 'profile' into 'master'
- Date: Thu, 1 Feb 2018 20:27:25 +0000 (UTC)
Summary of changes:
6634a7e... CI: use a more robuts test for profiling dumping
db4b5ed... Merge branch 'profile' into 'master'
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]
