]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #8239 from donaldsharp/first_p
authorJafar Al-Gharaibeh <Jafaral@users.noreply.github.com>
Fri, 12 Mar 2021 05:20:39 +0000 (23:20 -0600)
committerGitHub <noreply@github.com>
Fri, 12 Mar 2021 05:20:39 +0000 (23:20 -0600)
zebra: Remove `first_p` which is never used


Trivial merge