]> git.puffer.fish Git - mirror/frr.git/commitdiff
projects / mirror / frr.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: ffef225 68fc8f1)
Merge pull request #711 ("Coverity munging")
authorDavid Lamparter <equinox@opensourcerouting.org>
Thu, 15 Jun 2017 14:22:42 +0000 (16:22 +0200)
committerDavid Lamparter <equinox@opensourcerouting.org>
Thu, 15 Jun 2017 14:22:42 +0000 (16:22 +0200)
Signed-off-by: David Lamparter <equinox@opensourcerouting.org>

Trivial merge
Unnamed repository; edit this file 'description' to name the repository.