]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge branch 'frr/pull/183' ("Coverity")
authorDavid Lamparter <equinox@opensourcerouting.org>
Wed, 8 Feb 2017 15:23:57 +0000 (16:23 +0100)
committerDavid Lamparter <equinox@opensourcerouting.org>
Wed, 8 Feb 2017 15:23:57 +0000 (16:23 +0100)
Signed-off-by: David Lamparter <equinox@opensourcerouting.org>

Trivial merge