]> git.puffer.fish Git - mirror/frr.git/commit
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)
commit512b5486ff0dd4bb55b0c8d3d582b3ab1560e131
tree19b9d9b440dedc71dedf62107b70390cdb371dc7
parent153faf886c69c01810763d7427600ad330a40224
parent74d638d522c1daa2c55aadec0dd3c9b6779ca605
Merge pull request #3094 from pacovn/Coverity_1472227_dead_code

ospfd: dead code (Coverity 1472227)