]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #15147 from FRRouting/mergify/bp/stable/9.1/pr-15121
authorDonald Sharp <donaldsharp72@gmail.com>
Sat, 13 Jan 2024 00:24:07 +0000 (19:24 -0500)
committerGitHub <noreply@github.com>
Sat, 13 Jan 2024 00:24:07 +0000 (19:24 -0500)

Trivial merge