]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #9891 from FRRouting/mergify/bp/dev/8.1/pr-9873
authorIgor Ryzhov <idryzhov@gmail.com>
Tue, 26 Oct 2021 21:53:14 +0000 (00:53 +0300)
committerGitHub <noreply@github.com>
Tue, 26 Oct 2021 21:53:14 +0000 (00:53 +0300)

Trivial merge