]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #14431 from idryzhov/zebra-cleanup
authorDonatas Abraitis <donatas@opensourcerouting.org>
Mon, 18 Sep 2023 08:06:05 +0000 (11:06 +0300)
committerGitHub <noreply@github.com>
Mon, 18 Sep 2023 08:06:05 +0000 (11:06 +0300)
zebra: remove duplicated code


Trivial merge