Commit a342e870fcce7f524b54e5671cab4b0702e7540f

Patrick Steinhardt 2016-06-20T18:28:00

threads: remove now-useless typedefs