]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #2342 from donaldsharp/watchfrr_4.0
authorMartin Winter <mwinter@opensourcerouting.org>
Fri, 1 Jun 2018 00:59:39 +0000 (02:59 +0200)
committerGitHub <noreply@github.com>
Fri, 1 Jun 2018 00:59:39 +0000 (02:59 +0200)
Watchfrr 4.0


Trivial merge