]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #3111 from pacovn/Coverity_1302499_Logically_dead_code
authorDavid Lamparter <equinox@diac24.net>
Mon, 1 Oct 2018 12:14:54 +0000 (14:14 +0200)
committerGitHub <noreply@github.com>
Mon, 1 Oct 2018 12:14:54 +0000 (14:14 +0200)
ospfd: dead code (Coverity 1302499)


Trivial merge