Re: Custos_engraver crash with no explicit pitches

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