The ekr-undo branch has been merged into devel

15 views

Skip to first unread message

unread,

Nov 18, 2020, 4:08:32 AM11/18/20

to leo-editor

Pr 1725 gives the details.

This was a major project, with many subtle code changes. I am confident that the code mostly works ;-) Please report any problems immediately.

Edward

Reply all

Reply to author

Forward

0 new messages