]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #235 from donaldsharp/coverity1
authorRuss White <russ@riw.us>
Wed, 1 Mar 2017 14:46:21 +0000 (09:46 -0500)
committerGitHub <noreply@github.com>
Wed, 1 Mar 2017 14:46:21 +0000 (09:46 -0500)
Coverity


Trivial merge