]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #5240 from donaldsharp/zebra_nhg_sa
authorDonatas Abraitis <donatas.abraitis@gmail.com>
Tue, 29 Oct 2019 13:53:27 +0000 (15:53 +0200)
committerGitHub <noreply@github.com>
Tue, 29 Oct 2019 13:53:27 +0000 (15:53 +0200)
ZEBRA COVERITY STUFF


Trivial merge