]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge branch 'frr/pull/567'
authorDavid Lamparter <equinox@opensourcerouting.org>
Thu, 18 May 2017 10:33:50 +0000 (12:33 +0200)
committerDavid Lamparter <equinox@opensourcerouting.org>
Thu, 18 May 2017 10:33:50 +0000 (12:33 +0200)
Signed-off-by: David Lamparter <equinox@opensourcerouting.org>

Trivial merge