]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #8241 from Jafaral/first_p
authorIgor Ryzhov <iryzhov@nfware.com>
Fri, 12 Mar 2021 07:21:20 +0000 (10:21 +0300)
committerGitHub <noreply@github.com>
Fri, 12 Mar 2021 07:21:20 +0000 (10:21 +0300)

Trivial merge