]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #13889 from chiragshah6/fdev2
authorIgor Ryzhov <iryzhov@nfware.com>
Tue, 4 Jul 2023 18:06:15 +0000 (21:06 +0300)
committerGitHub <noreply@github.com>
Tue, 4 Jul 2023 18:06:15 +0000 (21:06 +0300)
tools: fix pim interface config deletion


Trivial merge