]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #5102 from donaldsharp/fix_some_warnings
authorJafar Al-Gharaibeh <Jafaral@users.noreply.github.com>
Thu, 3 Oct 2019 17:38:29 +0000 (10:38 -0700)
committerGitHub <noreply@github.com>
Thu, 3 Oct 2019 17:38:29 +0000 (10:38 -0700)
Fix some warnings


Trivial merge