]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #3563 from donaldsharp/minimize_the_stuff
authorMark Stapp <mjs@voltanet.io>
Fri, 11 Jan 2019 21:34:20 +0000 (16:34 -0500)
committerGitHub <noreply@github.com>
Fri, 11 Jan 2019 21:34:20 +0000 (16:34 -0500)
Zebra - Some Cleanup


Trivial merge