K 10
svn:author
V 7
attilio
K 8
svn:date
V 27
2007-06-08T21:36:52.000000Z
K 7
svn:log
V 216
Remove the MUTEX_WAKE_ALL option and make it the default behaviour for our
mutexes.
Currently we alredy force MUTEX_WAKE_ALL beacause of some problems with the
!MUTEX_WAKE_ALL case (unavioidable priority inversion).

END