]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #9480 from SaiGomathiN/pim-coverity
authorDavid Lamparter <equinox@opensourcerouting.org>
Fri, 27 Aug 2021 08:53:35 +0000 (10:53 +0200)
committerGitHub <noreply@github.com>
Fri, 27 Aug 2021 08:53:35 +0000 (10:53 +0200)
pimd: Fixing coverity issues


Trivial merge