Re: (fwd) Bug#345739: Multiple segfaults when resizing the terminal

[Karl Berry]

    Here is another bug report, this time about segfaults. It contains 
    extensive backtraces and a small patch.

Thanks.  I haven't heard about this one before.  If you can't reproduce
it, I doubt I can either, but the patch sounds fine in any case, even if
it doesn't 100% solve it.

Anyway, will look at it ASAP.

Thanks again,
Karl