Skip to content

Minor fix - #51

Merged
vneiger merged 5 commits into
mainfrom
fix_nonvector_compilation
Aug 22, 2026
Merged

Minor fix#51
vneiger merged 5 commits into
mainfrom
fix_nonvector_compilation

Conversation

@vneiger

@vneiger vneiger commented Aug 22, 2026

Copy link
Copy Markdown
Owner

that I had forgotten to commit...

@vneiger
vneiger merged commit fb66a4d into main Aug 22, 2026
8 checks passed
@vneiger vneiger mentioned this pull request Aug 22, 2026
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.

1 participant