Once all users have been changed to use pthreads, the header can be removed.
Log in to post a comment.
