]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #8512 from f0o/stable/7.5
authorDonald Sharp <sharpd@cumulusnetworks.com>
Tue, 20 Apr 2021 13:07:13 +0000 (09:07 -0400)
committerGitHub <noreply@github.com>
Tue, 20 Apr 2021 13:07:13 +0000 (09:07 -0400)
[7.5] Cherry-picking #8309


Trivial merge