]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #2321 from ppmathis/backport/5.0
authorDonald Sharp <sharpd@cumulusnetworks.com>
Wed, 30 May 2018 12:09:40 +0000 (08:09 -0400)
committerGitHub <noreply@github.com>
Wed, 30 May 2018 12:09:40 +0000 (08:09 -0400)
*: Backport bugfixes and features into dev/5.0


Trivial merge