]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #7616 from idryzhov/more-7.5-backports
authorDonald Sharp <sharpd@cumulusnetworks.com>
Mon, 30 Nov 2020 12:48:41 +0000 (07:48 -0500)
committerGitHub <noreply@github.com>
Mon, 30 Nov 2020 12:48:41 +0000 (07:48 -0500)
[7.5] backport fixes


Trivial merge