]> git.ipfire.org Git - thirdparty/pdns.git/commitdiff
Merge pull request #14237 from romeroalx/fix-docs-pip-pinning
authorRemi Gacogne <remi.gacogne@powerdns.com>
Fri, 24 May 2024 12:30:34 +0000 (14:30 +0200)
committerGitHub <noreply@github.com>
Fri, 24 May 2024 12:30:34 +0000 (14:30 +0200)
pdns/docs: pin version of pip package typing-extensions


Trivial merge