Hello Matt, Am Di., 5. Mai 2020 um 01:25 Uhr schrieb Matt Wilkie <map...@gmail.com>:
> 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. > OK, then I'll reserve some time to work on my first PR. With kind regards, Viktor -- 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/CAAeSrG%2ByZiAuP8i2r_2LRk2UXix-W_orfkVvTvAKYwfC4_7_vw%40mail.gmail.com.