I'm confused too. I didn't see mine listed on the GitHub PR tab so I thought it had bee merged. Then I updated with the current version of devel and my PR isn't there. [Later: I must have forgotten its name : ( I see it now.) Yes, that's the one I'm waiting on. After that, I'll create a new PR with the code to collect all the layout docstrings to support a help-for-layouts command, and then we should be good to go for 6.82.
On Tuesday, October 22, 2024 at 10:00:02 AM UTC-4 Edward K. Ream wrote: > On Tue, Oct 22, 2024 at 8:48 AM Thomas Passin <[email protected]> wrote: > >> Hah! I see it's been done. Good! >> > > Now I'm confused. What has been done? PR #4111 > <https://github.com/leo-editor/leo-editor/pull/4111> has not been merged, > but I'll accept the PR once I'm a bit less confused. > > 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 view this discussion on the web visit https://groups.google.com/d/msgid/leo-editor/ae189238-51b8-4816-9ff1-fe9658db1b3an%40googlegroups.com.
