Skip to content

Conversation

@jkozdon
Copy link
Member

@jkozdon jkozdon commented Jul 13, 2021

This PR can be used after JuliaPackaging/Yggdrasil#3249

@jkozdon jkozdon closed this Jul 14, 2021
@jkozdon jkozdon reopened this Jul 14, 2021
@jkozdon jkozdon closed this Jul 14, 2021
@jkozdon jkozdon reopened this Jul 14, 2021
@jkozdon jkozdon enabled auto-merge (rebase) July 14, 2021 21:29
@jkozdon jkozdon merged commit a52d3a8 into master Jul 14, 2021
@jkozdon jkozdon deleted the jek/PETSc_jll branch July 14, 2021 21:35
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