Lars, thank you for your patch. It actually works for me. Looking into the patch one sees that it does not change anything in cases where the segfault did not happen before, it only kicks in in cases where there was the segfault, so there should be no regression potential.
Lars, thank you for your patch. It actually works for me. Looking into the patch one sees that it does not change anything in cases where the segfault did not happen before, it only kicks in in cases where there was the segfault, so there should be no regression potential.