Skip to content

Conversation

@rieder
Copy link
Member

@rieder rieder commented Sep 19, 2023

Updated download locations

Updated download locations
@rieder rieder requested a review from a team as a code owner September 19, 2023 07:29
@rieder
Copy link
Member Author

rieder commented Sep 19, 2023

fixes #980

@rieder rieder merged commit 0e05aa5 into main Sep 19, 2023
@rieder rieder deleted the rieder-patch-1 branch September 19, 2023 07:29
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