]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #13945 from pguibert6WIND/redistribute_isis_table
authorRuss White <russ@riw.us>
Tue, 25 Jul 2023 14:16:46 +0000 (10:16 -0400)
committerGitHub <noreply@github.com>
Tue, 25 Jul 2023 14:16:46 +0000 (10:16 -0400)
Redistribute isis table


Trivial merge