-
Christoph Cullmann authored
document manager destruction I can not really reproduce the crash, therefore: if it still happens, please reopen BUG: 378085
0bfd1334
document manager destruction I can not really reproduce the crash, therefore: if it still happens, please reopen BUG: 378085