Skip to content

Fix create vector api change - #130

Merged
jorgensd merged 1 commit into
mainfrom
fix-create-vector-api-change
Sep 15, 2025
Merged

Fix create vector api change#130
jorgensd merged 1 commit into
mainfrom
fix-create-vector-api-change

Conversation

@finsberg

Copy link
Copy Markdown
Member

Adress change in FEniCS/dolfinx#3694

@finsberg
finsberg requested a review from jorgensd September 12, 2025 18:05
@jorgensd
jorgensd merged commit 88a4cc2 into main Sep 15, 2025
9 checks passed
@finsberg
finsberg deleted the fix-create-vector-api-change branch June 3, 2026 06:40
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