Comment 59 for bug 878492

Revision history for this message
unwrecker (unwrecker) wrote :

With workaround from Michał Sawicz, I have another bug.

1. Open some Terminals
2. Press «F10» (tilda typed, delete it)
3. Press Ctrl-D or type «exit»
4. All terminals will crash.