]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #4637 from opensourcerouting/fixes-20190703
authorQuentin Young <qlyoung@users.noreply.github.com>
Wed, 3 Jul 2019 17:28:23 +0000 (13:28 -0400)
committerGitHub <noreply@github.com>
Wed, 3 Jul 2019 17:28:23 +0000 (13:28 -0400)
isisd printfrr & clippy fixes


Trivial merge