]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #847 from donaldsharp/cmd_success
authorDavid Lamparter <equinox@diac24.net>
Tue, 25 Jul 2017 14:23:48 +0000 (16:23 +0200)
committerGitHub <noreply@github.com>
Tue, 25 Jul 2017 14:23:48 +0000 (16:23 +0200)
Cmd success


Trivial merge