]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #4992 from opensourcerouting/isisd-assorted-changes
authorOlivier Dugeon <olivier.dugeon@orange.com>
Tue, 17 Sep 2019 15:30:01 +0000 (17:30 +0200)
committerGitHub <noreply@github.com>
Tue, 17 Sep 2019 15:30:01 +0000 (17:30 +0200)
isisd: assorted changes


Trivial merge