]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #2881 from donaldsharp/external_removal
authorDavid Lamparter <equinox@diac24.net>
Tue, 21 Aug 2018 15:00:28 +0000 (17:00 +0200)
committerGitHub <noreply@github.com>
Tue, 21 Aug 2018 15:00:28 +0000 (17:00 +0200)
ospfd: Remove unused function


Trivial merge