]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #3119 from pacovn/Coverity_1465497_dead_code
authorJafar Al-Gharaibeh <Jafaral@users.noreply.github.com>
Sat, 6 Oct 2018 05:18:52 +0000 (00:18 -0500)
committerGitHub <noreply@github.com>
Sat, 6 Oct 2018 05:18:52 +0000 (00:18 -0500)
zebra: dead code (Coverity 1465497)


Trivial merge