]> git.puffer.fish Git - mirror/frr.git/commit
eigrpd: dead code (Coverity 1460436) 3117/head
authorF. Aragon <paco@voltanet.io>
Tue, 2 Oct 2018 08:46:20 +0000 (10:46 +0200)
committerF. Aragon <paco@voltanet.io>
Tue, 2 Oct 2018 08:46:20 +0000 (10:46 +0200)
commit11b88ecf7e4beba7d0342578045447785f6080b5
treea7fcfe5664f79d97d45b76282683c88233c74a8d
parent2268d8cfe787fd09247768795c20e9ce9eccd402
eigrpd: dead code (Coverity 1460436)

Signed-off-by: F. Aragon <paco@voltanet.io>
eigrpd/eigrp_query.c