gnome-tweak-tool 3.24.1

2017-06-12 Thread Jeremy Bicha
About GNOME Tweak Tool == GNOME Tweak Tool allows adjusting advanced configuration settings in GNOME 3. This includes things like the fonts used in user interface elements, alternative user interface themes, changes in window management behavior, GNOME Shell appearance and

libepoxy 1.4.3

2017-06-12 Thread Emmanuele Bassi
ChangeLog = commit 8d03a6a8278f7e12a910b5a8288484f8ae431653 Author: Emmanuele Bassi Date: Tue Jun 6 10:55:43 2017 +0100 Release Epoxy 1.4.3 configure.ac | 2 +- meson.build | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) commit