b49771e392
Now that extra::sync primitives are built on a proper mutex instead of a pthreads one, there's no longer any use for this function.