]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #9365 from idryzhov/fix-plist-dup-check
authorRuss White <russ@riw.us>
Tue, 17 Aug 2021 13:55:34 +0000 (09:55 -0400)
committerGitHub <noreply@github.com>
Tue, 17 Aug 2021 13:55:34 +0000 (09:55 -0400)
lib: fix prefix-list duplication check


Trivial merge