]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #12694 from donaldsharp/zebra_rib_dead_code
authorRafael Zalamena <rzalamena@users.noreply.github.com>
Thu, 26 Jan 2023 16:30:55 +0000 (13:30 -0300)
committerGitHub <noreply@github.com>
Thu, 26 Jan 2023 16:30:55 +0000 (13:30 -0300)
remove dead code


Trivial merge