]> git.puffer.fish Git - mirror/frr.git/commit
Merge pull request #3117 from pacovn/Coverity_1460436_dead_code
authorDavid Lamparter <equinox@diac24.net>
Tue, 2 Oct 2018 10:24:44 +0000 (12:24 +0200)
committerGitHub <noreply@github.com>
Tue, 2 Oct 2018 10:24:44 +0000 (12:24 +0200)
commit11c98954c4cc97c1e60baa39883b79eb35c3458e
tree1ba3723fde09ef99ce57ab0b728ee9ee4c575130
parent9b28b6f8b35b88d4eb2bd1b3ce27462f4325ae34
parent11b88ecf7e4beba7d0342578045447785f6080b5
Merge pull request #3117 from pacovn/Coverity_1460436_dead_code

eigrpd: dead code (Coverity 1460436)