On Monday, June 27, 2022 at 4:00:10 PM UTC-4 jkn wrote:
> That is how I would explain the desired action, and thank you for working > on the PR (and Edward for raising it); I will try it shortly. > Wait until the PR is actually accepted and merged ... it's not yet ... -- 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/a3610b02-ea6a-4e6e-81d7-efccea69276an%40googlegroups.com.