]> git.ipfire.org Git - thirdparty/systemd.git/commitdiff
Merge pull request #29507 from abderrahim/doc-sync-improvement
authorLuca Boccassi <bluca@debian.org>
Tue, 10 Oct 2023 07:59:33 +0000 (08:59 +0100)
committerGitHub <noreply@github.com>
Tue, 10 Oct 2023 07:59:33 +0000 (08:59 +0100)
Improvements to the doc-sync target


Trivial merge