]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #2176 from opensourcerouting/dev-5.0-isis-redist-metric
authorDonald Sharp <sharpd@cumulusnetworks.com>
Tue, 8 May 2018 15:31:09 +0000 (11:31 -0400)
committerGitHub <noreply@github.com>
Tue, 8 May 2018 15:31:09 +0000 (11:31 -0400)
dev/5.0: isis redist metric


Trivial merge