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

Overhaul modify_list() #130

Merged
merged 5 commits into from Apr 28, 2022
Merged

Overhaul modify_list() #130

merged 5 commits into from Apr 28, 2022

Conversation

hadley
Copy link
Member

@hadley hadley commented Apr 26, 2022

Fixes #95. Fixes #97. Fixes #107.

@jchrom how does this look to you?

@hadley
Overhaul modify_list()
b8758bd 
Fixes #95. Fixes #97. Fixes #107.
@hadley hadley mentioned this pull request Apr 26, 2022
Closed
@hadley
Copy link
Member Author

hadley commented Apr 26, 2022

Need to handle #115 as part of this.

@hadley
Copy link
Member Author

hadley commented Apr 28, 2022

Now focusses just on #97 and #107.

@hadley hadley merged commit 46c194f into main Apr 28, 2022
@hadley hadley deleted the modify-list branch April 28, 2022 13:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
1 participant
@hadley