]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #7143 from donaldsharp/rip_debugs
authorPatrick Ruddy <pat@voltanet.io>
Tue, 22 Sep 2020 10:43:17 +0000 (11:43 +0100)
committerGitHub <noreply@github.com>
Tue, 22 Sep 2020 10:43:17 +0000 (11:43 +0100)
ripd, ripngd: info -> debug


Trivial merge