]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge branch 'frr/pull/672' into stable/3.0
authorDavid Lamparter <equinox@opensourcerouting.org>
Tue, 6 Jun 2017 14:47:48 +0000 (16:47 +0200)
committerDavid Lamparter <equinox@opensourcerouting.org>
Tue, 6 Jun 2017 14:47:48 +0000 (16:47 +0200)
Signed-off-by: David Lamparter <equinox@opensourcerouting.org>

Trivial merge