]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #14520 from FRRouting/mergify/bp/stable/9.0/pr-14204
authorDonald Sharp <donaldsharp72@gmail.com>
Mon, 2 Oct 2023 20:51:55 +0000 (16:51 -0400)
committerGitHub <noreply@github.com>
Mon, 2 Oct 2023 20:51:55 +0000 (16:51 -0400)

Trivial merge