PR #3828 is now in devel

12 views

Skip to first unread message

unread,

Mar 25, 2024, 1:10:15 PM3/25/24

to leo-editor

PR #3828 has been merged into devel.

All known bugs have been fixed and Leo should continue to work as before.

Please report any problem immediately.

Edward

Reply all

Reply to author

Forward

0 new messages