]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #2872 from donaldsharp/tcp_zebra
authorDavid Lamparter <equinox@diac24.net>
Mon, 20 Aug 2018 18:53:26 +0000 (20:53 +0200)
committerGitHub <noreply@github.com>
Mon, 20 Aug 2018 18:53:26 +0000 (20:53 +0200)
doc, debianpkg: Cleanup tcp-zebra configure options


Trivial merge