Skip to content

Conversation

barklan
Copy link

@barklan barklan commented Jan 24, 2021

Replaced

@jugmac00
Copy link

Technically this is no duplicate, but #110 was - but nevertheless #110 was merged, so this issue should be closed.

@gvanrossum
Copy link
Contributor

Well, sorry! (I don't have access to close issues any more.)

@barklan barklan closed this Apr 6, 2022
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.

3 participants