Issue 628: Integrate mutex-based interference for stubborn sets

Title	Integrate mutex-based interference for stubborn sets
Priority	feature	Status	unread
Superseder		Nosy List	florian, jendrik, malte, martin
Assigned To	martin	Keywords
Optional summary

Created on 2016-01-26.12:00:36 by martin, last changed by martin.

Messages
msg5148 (view)	Author: martin	Date: 2016-01-26.12:00:36
This is follow-up work to issue 499.

Issue628