]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #5823 from donaldsharp/irdp_what
authorMark Stapp <mjs@voltanet.io>
Tue, 18 Feb 2020 19:27:48 +0000 (14:27 -0500)
committerGitHub <noreply@github.com>
Tue, 18 Feb 2020 19:27:48 +0000 (14:27 -0500)
Irdp build and log fixes


Trivial merge