Fix b51b15e: re-disable dispatcher in thread_mutex_lock* and thread_sem_wait().
[barrelfish] / AUTHORS
2013-01-16 pravin@inf.ethz.chMinor change to revive the tip to be the latest and...
2011-08-02 Simon PeterMerge from ASPLOS tree.
2011-07-08 Stefan KästleInitial version of public stable barrelfish repository.