]> git.proxmox.com Git - mirror_frr.git/commitdiff
Merge pull request #3665 from opensourcerouting/6.0/watchfrr-options
authorDonald Sharp <sharpd@cumulusnetworks.com>
Thu, 31 Jan 2019 01:12:41 +0000 (20:12 -0500)
committerGitHub <noreply@github.com>
Thu, 31 Jan 2019 01:12:41 +0000 (20:12 -0500)
[6.0] fix watchfrr options


Trivial merge