Hi Jean, On 17/03/2023 16:38, Jean Abou Samra wrote:
Thanks, but you already reported that bug about a year ago.
Thanks for digging that up/remembering. I did search the issue database for ‘custos crash’ (or ‘crash custos’ maybe), but despite the label “Crash” issue 6327 didn’t show up. ‘custos segfault’ would’ve worked, and maybe once that comment I now added is in the search index (?) ‘custos crash’ might also work?
Anyway, my bad for not checking twice. Best, Simon
