]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #4236 from donaldsharp/zebra_diet
authorLou Berger <lberger@labn.net>
Thu, 2 May 2019 10:34:17 +0000 (06:34 -0400)
committerGitHub <noreply@github.com>
Thu, 2 May 2019 10:34:17 +0000 (06:34 -0400)
Zebra diet


Trivial merge