911d63d1
* commit '911d63d1598b4e8105e9a14d8e1c120f54548cbc': Fix bug 5309557 - Monkeys and SIGSEGV do not mix!