[gjs] (3 commits) ...Merge branch 'december-maintenance' into 'master'

From: Cosimo Cecchi <cosimoc src gnome org>
To: commits-list gnome org
Cc:
Subject: [gjs] (3 commits) ...Merge branch 'december-maintenance' into 'master'
Date: Sun, 31 Dec 2017 10:00:23 +0000 (UTC)

Summary of changes:

  d6f0dac... coverage: Remove unused JSCompartmentOptions
  78601c0... js: Remove unnecessary property getters and setters
  9339f85... Merge branch 'december-maintenance' into 'master'

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