![](https://seccdn.libravatar.org/avatar/9435667f7160374bc34a8600b686aecd.jpg?s=120&d=mm&r=g)
24 Apr
2023
24 Apr
'23
11:46
On Mon, Apr 24, 2023 at 2:30 PM Carlos E. R. <robin.listas@telefonica.net> wrote:
Is this an error from me, or a bug that deserves a bugzilla?
In general no user actions should result in program crash. Any crash is a bug. But without a reliable way to reproduce it chances it will be fixed are rather slim.