]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge branch 'warnings'
authorDavid Lamparter <equinox@opensourcerouting.org>
Wed, 12 Sep 2018 20:00:04 +0000 (22:00 +0200)
committerDavid Lamparter <equinox@opensourcerouting.org>
Wed, 12 Sep 2018 20:00:04 +0000 (22:00 +0200)
Signed-off-by: David Lamparter <equinox@diac24.net>

Trivial merge