]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #14578 from opensourcerouting/fix/coverity_1566808
authorDonald Sharp <donaldsharp72@gmail.com>
Thu, 12 Oct 2023 19:58:08 +0000 (15:58 -0400)
committerGitHub <noreply@github.com>
Thu, 12 Oct 2023 19:58:08 +0000 (15:58 -0400)
bgpd: Remove redundant check for bgp against NULL


Trivial merge