]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #7809 from donaldsharp/m_coverity
authorJafar Al-Gharaibeh <Jafaral@users.noreply.github.com>
Mon, 4 Jan 2021 22:13:21 +0000 (16:13 -0600)
committerGitHub <noreply@github.com>
Mon, 4 Jan 2021 22:13:21 +0000 (16:13 -0600)
some coverity fixes


Trivial merge