Doc fixes are always welcome! Good documentation is hard and rarely done well alone.
Is there anything specific to Leo, that should be considered in addition to > the available information on GitHub on how to deliver PRs? > Nothing that I can think of. Anything that might bere there can be sorted out during the PR review process. -matt -- 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 leo-editor+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/8f15d90a-ae37-49e9-8b3f-4c221ed3bf7d%40googlegroups.com.