Skip to content

Conversation

nedbat
Copy link
Owner

@nedbat nedbat commented Jan 26, 2023

This finishes #1543 .

@nedbat nedbat force-pushed the nedbat/finish-1543 branch from 204c7fb to b4764fa Compare January 26, 2023 13:34
This is about the fix in commit 96af3ea
@nedbat nedbat force-pushed the nedbat/finish-1543 branch from b4764fa to 20f5543 Compare February 3, 2023 12:45
@nedbat nedbat merged commit 1310604 into master Feb 3, 2023
@nedbat nedbat deleted the nedbat/finish-1543 branch February 3, 2023 13:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant