Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Summary: Terry's enhancements re Leo's Gui #798

Closed
2 tasks
edreamleo opened this issue Mar 11, 2018 · 1 comment
Closed
2 tasks

Summary: Terry's enhancements re Leo's Gui #798

edreamleo opened this issue Mar 11, 2018 · 1 comment
Assignees
@tbnorth @edreamleo

Comments

@edreamleo
Copy link
Member

edreamleo commented Mar 11, 2018 •
edited

This issue is obsolete.
@edreamleo edreamleo added the Info label Mar 11, 2018
@edreamleo edreamleo changed the title Summary of improvements to Leo's Gui Summary: Improve Leo's Gui Mar 11, 2018
@edreamleo edreamleo changed the title Summary: Improve Leo's Gui Summary: enhancements re Leo's Gui Mar 11, 2018
@edreamleo edreamleo changed the title Summary: enhancements re Leo's Gui Summary: Terry's enhancements re Leo's Gui Mar 11, 2018
@edreamleo edreamleo added Summary and removed Info labels Mar 11, 2018
@edreamleo edreamleo added the Info label Jan 20, 2019
@edreamleo edreamleo added Delegated Delegatated to others Enhancement and removed Info labels Oct 19, 2019
@edreamleo
Copy link
Member Author

This issue is moot. Terry is no longer contributing to Leo.

@edreamleo edreamleo removed Enhancement Summary Delegated Delegatated to others labels Sep 19, 2022
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@tbnorth tbnorth

@edreamleo edreamleo

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@tbnorth @edreamleo