gnome-tweak-tool 3.10.1

[Frederic Peters <install-module master gnome org>]

About GNOME Tweak Tool
======================

GNOME Tweak Tool allows adjusting advanced configuration settings in
GNOME3. This includes things like the fonts used in user interface
elements, alternative user interface themes, changes in window
management behaviour, GNOME Shell appearance and extension, etc.

News
====

  * Work around PyGObject bug which caused crashes at startup
  * Fix detection of themes (Matthias Clasen, 710275)
  * Fix shell extension update checks for stable X.0 releases
  * Fix startup tweaks for applications missing icons (Mike Fabian, 708900)
  * Allow localized searches (Alex Muñoz)
  * Fix shell extension error reporting (Alex Muñoz, 711490) 
  


Download
========
https://download.gnome.org/sources/gnome-tweak-tool/3.10/gnome-tweak-tool-3.10.1.tar.xz (235K)
  sha256sum: fb5af9022c0521a925ef9f295e4080212b1b45427cd5f5f3a901667590afa7ec