Commit 961bdbdfacf4e965216d61fbc9f778c089c2e78a

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

threads: remove now-useless typedefs