]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #1731 from donaldsharp/zebra_stuff
authorRenato Westphal <renato@openbsd.org>
Sat, 10 Feb 2018 00:01:12 +0000 (22:01 -0200)
committerGitHub <noreply@github.com>
Sat, 10 Feb 2018 00:01:12 +0000 (22:01 -0200)
zebra: sharp protocol needs a default admin distance.


Trivial merge