]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #6417 from opensourcerouting/bfdd-duplicated
authorQuentin Young <qlyoung@users.noreply.github.com>
Tue, 19 May 2020 17:37:26 +0000 (13:37 -0400)
committerGitHub <noreply@github.com>
Tue, 19 May 2020 17:37:26 +0000 (13:37 -0400)
bfdd: remove duplicated code and fix comment


Trivial merge