]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #2894 from donaldsharp/thread_stuff
authorDavid Lamparter <equinox@diac24.net>
Thu, 23 Aug 2018 16:08:59 +0000 (18:08 +0200)
committerGitHub <noreply@github.com>
Thu, 23 Aug 2018 16:08:59 +0000 (18:08 +0200)
Thread stuff


Trivial merge