]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge branch 'frr/pull/4005'
authorDavid Lamparter <equinox@diac24.net>
Sun, 24 Mar 2019 14:28:23 +0000 (15:28 +0100)
committerDavid Lamparter <equinox@diac24.net>
Sun, 24 Mar 2019 14:28:23 +0000 (15:28 +0100)

Trivial merge