Oliver Schneider ee338d934e don't create a thread just for panic-isolation		2015-05-05 16:56:29 +02:00
..
idem	Merge pull request #57 from defyrlt/issue_56	2015-05-01 23:16:54 +12:00
idem.rs	don't create a thread just for panic-isolation	2015-05-05 16:56:29 +02:00