Thanks for the answers Scott and Dmitry The bug report was helpful Dmitry. I do see the problem as fixed when I can be sure that the ABI change triggers an automatic binNMU and nearer to a fix if I can request binNMU myself when it segfaults even if I don't know what causes it. But I will do some more debugging if it happens again and forget the problem until then.
Regards Gudjon -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected] Archive: http://lists.debian.org/[email protected]

