]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #2516 from rubenk/more-spec-cleanups
authorMartin Winter <mwinter@opensourcerouting.org>
Tue, 3 Jul 2018 07:32:57 +0000 (00:32 -0700)
committerGitHub <noreply@github.com>
Tue, 3 Jul 2018 07:32:57 +0000 (00:32 -0700)
More spec cleanups


Trivial merge