devhelp 3.25.2

[Sébastien Wilmet <install-module master gnome org>]

About devhelp
=============

Devhelp is an API documentation browser for GTK+ and GNOME. It works
natively with GTK-Doc.

News
====

- Move New Tab action as a button in the headerbar (it's no longer in the
  hamburger menu).
- Refactorings in DhLink.
- Rename dh_free_resources() to dh_finalize().

Fixed bugs:

 - #721082, a couple of scripts to add javadocs as Devhelp books
 - #779386, Consider moving contents of "hamburger" menu elsewhere
 - #783964, [PATCH] mouse forward/back buttons don't work

Updated translations: cs, de, es, fr, fur, id, kk, sl, sv, vi

Many thanks to all contributors: Fabio Tomat, Anders Jonsson, Sébastien
Wilmet, Mario Blättermann, Piotr Drąg, Kukuh Syafaat, Matej Urbančič,
Trần Ngọc Quân, Claude Paroz, Daniel Mustieles, Lubomir Rintel,
Baurzhan Muftakhidinov, Marek Cernocky



Download
========
https://download.gnome.org/sources/devhelp/3.25/devhelp-3.25.2.tar.xz (598K)
  sha256sum: 56cfce92acaa87c142bcd5eac257bbcf987c23adb896c946ae00db4c618c0adf