]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #1437 from dwalton76/frr-reload
authorRenato Westphal <renato@openbsd.org>
Mon, 13 Nov 2017 15:53:37 +0000 (13:53 -0200)
committerGitHub <noreply@github.com>
Mon, 13 Nov 2017 15:53:37 +0000 (13:53 -0200)
frr-reload.py: misc fixes


Trivial merge