]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #2999 from donaldsharp/consistent
authorDavid Lamparter <equinox@diac24.net>
Mon, 10 Sep 2018 17:51:05 +0000 (19:51 +0200)
committerGitHub <noreply@github.com>
Mon, 10 Sep 2018 17:51:05 +0000 (19:51 +0200)
doc: Fixup to use consistent frrvty group name


Trivial merge