]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #15529 from FRRouting/mergify/bp/dev/10.0/pr-15509
authorIgor Ryzhov <iryzhov@nfware.com>
Tue, 12 Mar 2024 19:44:05 +0000 (21:44 +0200)
committerGitHub <noreply@github.com>
Tue, 12 Mar 2024 19:44:05 +0000 (21:44 +0200)
pimd: Cleanup inclusion of headers (backport #15509)


Trivial merge