]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #18458 from FRRouting/mergify/bp/stable/10.0/pr-18108
authorDonald Sharp <donaldsharp72@gmail.com>
Sat, 22 Mar 2025 19:25:35 +0000 (15:25 -0400)
committerGitHub <noreply@github.com>
Sat, 22 Mar 2025 19:25:35 +0000 (15:25 -0400)
zebra: Do not flush an existing vni configuration trying to remove wrong vni (backport #18108)


Trivial merge