]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #867 from jbonor/fixes
authorDonald Sharp <sharpd@cumulusnetworks.com>
Fri, 4 Aug 2017 16:57:35 +0000 (12:57 -0400)
committerGitHub <noreply@github.com>
Fri, 4 Aug 2017 16:57:35 +0000 (12:57 -0400)
Assorted fixes


Trivial merge