]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #7840 from pguibert6WIND/bfd_misc_fixes_vrflite
authorRafael Zalamena <rzalamena@users.noreply.github.com>
Tue, 19 Jan 2021 13:10:04 +0000 (10:10 -0300)
committerGitHub <noreply@github.com>
Tue, 19 Jan 2021 13:10:04 +0000 (10:10 -0300)
Bfd misc fixes


Trivial merge