]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #12216 from donaldsharp/language_none
authorDavid Lamparter <equinox@opensourcerouting.org>
Fri, 28 Oct 2022 09:56:26 +0000 (11:56 +0200)
committerGitHub <noreply@github.com>
Fri, 28 Oct 2022 09:56:26 +0000 (11:56 +0200)

Trivial merge