]> git.puffer.fish Git - mirror/frr.git/commitdiff
projects / mirror / frr.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 153faf8 74d638d)
Merge pull request #3094 from pacovn/Coverity_1472227_dead_code
authorRafael Zalamena <rzalamena@users.noreply.github.com>
Wed, 26 Sep 2018 17:24:37 +0000 (14:24 -0300)
committerGitHub <noreply@github.com>
Wed, 26 Sep 2018 17:24:37 +0000 (14:24 -0300)
ospfd: dead code (Coverity 1472227)


Trivial merge
Unnamed repository; edit this file 'description' to name the repository.