Merge pull request #1587 from kumpera/cleanup_threading
authorRodrigo Kumpera <kumpera@gmail.com>
Tue, 24 Feb 2015 15:02:24 +0000 (09:02 -0600)
committerRodrigo Kumpera <kumpera@gmail.com>
Tue, 24 Feb 2015 15:02:24 +0000 (09:02 -0600)
This is a small cleanup of the threading API.


Trivial merge