]> git.puffer.fish Git - mirror/frr.git/commitdiff
Merge pull request #3596 from donaldsharp/pthread_7.0
authorMark Stapp <mjs@voltanet.io>
Thu, 10 Jan 2019 18:27:02 +0000 (13:27 -0500)
committerGitHub <noreply@github.com>
Thu, 10 Jan 2019 18:27:02 +0000 (13:27 -0500)
dev/7.0 DC of #3589 and #3590


Trivial merge