]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'tmp-2022-gtkdoc' into 'master'
authorDaiki Ueno <ueno@gnu.org>
Thu, 6 Jan 2022 13:01:49 +0000 (13:01 +0000)
committerDaiki Ueno <ueno@gnu.org>
Thu, 6 Jan 2022 13:01:49 +0000 (13:01 +0000)
Fix gtk-doc build, Debian bug #1003075

See merge request gnutls/gnutls!1507


Trivial merge