]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #11751 from donaldsharp/pim6d_tools_fixup
authormobash-rasool <mobash.rasool@gmail.com>
Sat, 6 Aug 2022 14:51:20 +0000 (20:21 +0530)
committerGitHub <noreply@github.com>
Sat, 6 Aug 2022 14:51:20 +0000 (20:21 +0530)
tools: Add pim6d to tools so that pim6d will work properly


Trivial merge