Guillaume Munch wrote: > Le 17/10/2015 21:19, Guillaume Munch a écrit : >> >> I thought about that, but I do not want to introduce a divergence in the >> behaviour of release mode compared to devel mode in a fundamental >> aspect. This can open the door to a lot of problems: unreproducibility >> of bugs, etc. >> > > ...as perfectly exemplified by the segfault that I just described.
Indeed. BTW, thank you very much for developing this feature and your patience with my questions and concerns! Georg