]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #15985 from FRRouting/mergify/bp/stable/10.0/pr-15975
authorDonald Sharp <donaldsharp72@gmail.com>
Thu, 9 May 2024 17:37:36 +0000 (13:37 -0400)
committerGitHub <noreply@github.com>
Thu, 9 May 2024 17:37:36 +0000 (13:37 -0400)
pimd: fixes split off from #15969 (backport #15975)


Trivial merge