Merge pull request #1873 from rubenk/fix-duplicate-label_t
authorRuben Kerkhof <ruben@rubenkerkhof.com>
Fri, 12 Aug 2016 09:22:37 +0000 (11:22 +0200)
committerGitHub <noreply@github.com>
Fri, 12 Aug 2016 09:22:37 +0000 (11:22 +0200)
Work around Solaris 10 defining label_t


Trivial merge