]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #12937 from opensourcerouting/ospf6d-redist
authorMark Stapp <mjs.ietf@gmail.com>
Fri, 3 Mar 2023 20:38:02 +0000 (15:38 -0500)
committerGitHub <noreply@github.com>
Fri, 3 Mar 2023 20:38:02 +0000 (15:38 -0500)
ospf6d: small fixes in the handling of redistributed routes


Trivial merge