gnome-tweak-tool 3.25.4

[Jeremy Bicha <install-module master gnome org>]

About GNOME Tweaks
==================

GNOME Tweaks 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 extension, etc.

News
====

* Rename app to GNOME Tweaks (Alberto)
* Rename binary to gnome-tweaks (Alberto)
* Only allows numbers in Hi-DPI entry box (Jeremy)

Contributors:
 Jeremy Bicha, Alberto Fanjul

Translations:
 Mario Blättermann [de], Fabio Tomat [fr],  Kukuh Syafaat [id],
 Dušan Kazik [sk]



Download
========
https://download.gnome.org/sources/gnome-tweak-tool/3.25/gnome-tweak-tool-3.25.4.tar.xz (220K)
  sha256sum: 8f349a86eb28b6bd29da9f7027eebee31dc52d1a79e8097ccee5c557ec3b0fca