Remove dependency on dummy_threading (to solve a bootstrap problem).
1 file changed