]> git.puffer.fish Git - matthieu/frr.git/commitdiff
Merge pull request #6767 from donaldsharp/compile_issues
authorDavid Lamparter <equinox@opensourcerouting.org>
Sun, 19 Jul 2020 09:36:38 +0000 (11:36 +0200)
committerGitHub <noreply@github.com>
Sun, 19 Jul 2020 09:36:38 +0000 (11:36 +0200)

Trivial merge