]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #12882 from FRRouting/mergify/bp/stable/8.4/pr-12878
authorDonatas Abraitis <donatas@opensourcerouting.org>
Fri, 24 Feb 2023 09:40:45 +0000 (11:40 +0200)
committerGitHub <noreply@github.com>
Fri, 24 Feb 2023 09:40:45 +0000 (11:40 +0200)
pimd: bughunting improvements (backport #12878)


Trivial merge