Tested && run well. 在2022年11月29日星期二 UTC+8 23:22:06<[email protected]> 写道：
> Now merged into the *devel* branch. -- 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/663350b2-6e7b-4359-9c32-7102c01ef724n%40googlegroups.com.
