wenzelm [Thu, 29 Jan 2015 15:21:16 +0100] rev 59468
explicit threads_stack_limit (for recent Poly/ML SVN versions), which leads to soft interrupt instead of exhaustion of virtual memory, which is particularly relevant for the bigger address space of x86_64;