dealii/dealii — pull request #157 by bangerth (2014-09-18 02:20:55+00:00)
Title: Add Threads::Task::joinable()

I will need this function for a later patch I'm planning.