|author||Boris Kolpackov <firstname.lastname@example.org>||2019-08-07 06:19:51 +0200|
|committer||Boris Kolpackov <email@example.com>||2019-08-07 06:19:51 +0200|
Distinguish between internal/external wait deactivation in scheduler
This turns out to be necessary for the deadlock detection to work properly.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions