]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #9836 from opensourcerouting/doc-developer-fixes
authorDonald Sharp <donaldsharp72@gmail.com>
Fri, 15 Oct 2021 13:16:27 +0000 (09:16 -0400)
committerGitHub <noreply@github.com>
Fri, 15 Oct 2021 13:16:27 +0000 (09:16 -0400)
doc/developer: fix random sphinx warnings/typos/…


Trivial merge