Skip to content

Conversation

havogt
Copy link
Contributor

@havogt havogt commented Dec 20, 2021

@havogt
Copy link
Contributor Author

havogt commented Jan 6, 2022

re-evaluate once actions/setup-python#303 is merged

@havogt havogt marked this pull request as draft January 26, 2022 07:59
@gronerl
Copy link
Contributor

gronerl commented Nov 16, 2022

Said PR was merged.

@havogt
Copy link
Contributor Author

havogt commented Nov 22, 2022

I don't remember why I added this. Does it make sense to merge it? @egparedes @gronerl

@havogt havogt requested a review from egparedes November 22, 2022 09:45
@havogt havogt marked this pull request as ready for review November 22, 2022 09:45
@havogt
Copy link
Contributor Author

havogt commented Feb 21, 2023

implemented in #1163

@havogt havogt closed this Feb 21, 2023
@havogt havogt deleted the havogt-patch-1 branch February 21, 2023 08:37
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.

2 participants