summaryrefslogtreecommitdiffstats
path: root/docs/aio_notify_bug.promela
Commit message (Expand)AuthorAgeFilesLines
* AioContext: fix broken placement of event_notifier_test_and_clearPaolo Bonzini2015-07-221-0/+140