PR #3004 has been merged into devel.

21 views

Skip to first unread message

unread,

Dec 13, 2022, 1:32:00 PM12/13/22

to leo-editor

PR #3004 is a mass update of Leo's codebase. These changes simplify and strengthen Leo's annotations. See Issue #3003 for further discussion.

Please report any problems.

Edward

Reply all

Reply to author

Forward

0 new messages