On 3 Oct 2016 2:55 a.m., "David Reitter" <david.reitter@gmail.com> wrote:
>
> By the way, Konrad just had another crash after closing a frame.  This
time it looks like it’s a bad pointer to an NSImage that is being
deallocated “again” (NSAutoreleasePool drain -> NSImage dealloc).

That sounds like bug#23875.