]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #1077 from donaldsharp/ws
authorRenato Westphal <renato@openbsd.org>
Thu, 31 Aug 2017 01:26:41 +0000 (22:26 -0300)
committerGitHub <noreply@github.com>
Thu, 31 Aug 2017 01:26:41 +0000 (22:26 -0300)
Cleanup some issues in pim


Trivial merge