]> git.ipfire.org Git - thirdparty/gnutls.git/commitdiff
Merge branch 'fix-doc-parallel-build' into 'master'
authorDaiki Ueno <ueno@gnu.org>
Tue, 14 Jan 2025 09:59:58 +0000 (09:59 +0000)
committerDaiki Ueno <ueno@gnu.org>
Tue, 14 Jan 2025 09:59:58 +0000 (09:59 +0000)
doc: Avoid failures in a parallel build.

See merge request gnutls/gnutls!1911


Trivial merge