]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #7270 from donaldsharp/isis_cleanup
authorRenato Westphal <renato@opensourcerouting.org>
Sat, 10 Oct 2020 00:53:06 +0000 (21:53 -0300)
committerGitHub <noreply@github.com>
Sat, 10 Oct 2020 00:53:06 +0000 (21:53 -0300)
Isis cleanup


Trivial merge