Devel contains the fix for #2844: decluttering bug

12 views

Skip to first unread message

unread,

Sep 13, 2022, 12:06:03 PM9/13/22

to leo-editor

The changes in PR #2848 look simple enough, but more testing would be wise.

Please report any problems.

Edward

Reply all

Reply to author

Forward

0 new messages