Skip to content

Conversation

@jparta
Copy link
Contributor

@jparta jparta commented Jul 3, 2023

See #12124.

@jparta
Copy link
Contributor Author

jparta commented Jul 4, 2023

@uranusjr ready to merge

@ichard26
Copy link
Member

ichard26 commented May 5, 2024

This requirement format is now supported thanks to #12300.

Thanks for the PR! Sorry that it didn't make it in.

@ichard26 ichard26 closed this May 5, 2024
@jparta jparta deleted the patch-1 branch May 15, 2024 19:34
@jparta
Copy link
Contributor Author

jparta commented May 15, 2024

Good to hear.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators May 31, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

4 participants