[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: Custos_engraver crash with no explicit pitches
From: |
Simon Albrecht |
Subject: |
Re: Custos_engraver crash with no explicit pitches |
Date: |
Fri, 17 Mar 2023 21:35:55 +0100 |
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