]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #2077 from donaldsharp/static_warn
authorRuss White <russ@riw.us>
Fri, 20 Apr 2018 11:59:37 +0000 (07:59 -0400)
committerGitHub <noreply@github.com>
Fri, 20 Apr 2018 11:59:37 +0000 (07:59 -0400)
zebra: Leave some warning breadcrumbs


Trivial merge