]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #14526 from FRRouting/mergify/bp/stable/9.0/pr-14472
authorDonatas Abraitis <donatas@opensourcerouting.org>
Wed, 4 Oct 2023 18:38:23 +0000 (21:38 +0300)
committerGitHub <noreply@github.com>
Wed, 4 Oct 2023 18:38:23 +0000 (21:38 +0300)
lib: fix route map duplicated prefix removal evaluation (backport #14472)


Trivial merge