Vicente J. Botet Escriba ba2f814342 Don't lock while storing the exception_ptr list as only the task_region thread can do it.		2015-03-16 08:41:04 +01:00
..
v1	Added exception_list and task_region.	2014-10-26 11:27:18 +01:00
v2	Don't lock while storing the exception_ptr list as only the task_region thread can do it.	2015-03-16 08:41:04 +01:00