Skip to content

Fix API change in dofmaps and cmaps - #223

Merged
jorgensd merged 4 commits into
mainfrom
finsberg/fix-4227
Jun 3, 2026
Merged

jorgensd merged 4 commits into
mainfrom
finsberg/fix-4227

Conversation

@finsberg

@finsberg finsberg commented Jun 3, 2026 •

Copy link
Copy Markdown
Member

@finsberg finsberg changed the title Fix API change in https://github.com/FEniCS/dolfinx/pull/4227 Fix API change in dofmaps and cmaps Jun 3, 2026
@finsberg
finsberg force-pushed the finsberg/fix-4227 branch from 459eac1 to 50948f9 Compare June 3, 2026 06:36
@finsberg
finsberg requested a review from jorgensd June 3, 2026 06:39
@jorgensd
jorgensd merged commit efb5a01 into main Jun 3, 2026
9 of 10 checks passed
@finsberg
finsberg deleted the finsberg/fix-4227 branch July 26, 2026 09:51
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