Douglas A. Augusto wrote: > This trick works for me too. By the way, I just found out that the reported > bug also affects octave-gui (4.0.3-2+b2), which randomly freezes just like > chromium. And the exact same trick you described also works with > octave.
Is this #801128? Best wishes, Mike
