]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #2967 from pacovn/stable/5.0
authorDavid Lamparter <equinox@diac24.net>
Tue, 18 Sep 2018 15:30:30 +0000 (17:30 +0200)
committerGitHub <noreply@github.com>
Tue, 18 Sep 2018 15:30:30 +0000 (17:30 +0200)
zebra: filter zebra messages (label manager)


Trivial merge