Thank you, you two, for the hint towards debugging. All I found earlier was involving bug buddy, which is gnome 2, afaik, and no longer existing.
Could you give me a hint, some keyword maybe, to look for in the logfile? The error hasn't happened today when I executed it with debugging, but the file has a decent size nevertheless. Many thanks, Martin _______________________________________________ evolution-list mailing list evolution-list@gnome.org To change your list options or unsubscribe, visit ... https://mail.gnome.org/mailman/listinfo/evolution-list