Here's a great trick for finding issues: - Open Leo's issues page <https://github.com/leo-editor/leo-editor/issues>.
You will see a "Filters" box containing: `is:issue is:open` - Append a search term, in this case, segfault: `is:issue is:open segfault` You will get this page. <https://github.com/leo-editor/leo-editor/issues?q=is%3Aissue+segfault+is%3Aclosed> Edward -- You received this message because you are subscribed to the Google Groups "leo-editor" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/leo-editor. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/0657fbdf-2225-479b-9a48-b37320d3d992%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
