Skip to content

Drop {gpindex} as a dependency#78

Merged
marberts merged 17 commits into
mainfrom
nodeps
Jul 16, 2026
Merged

Drop {gpindex} as a dependency#78
marberts merged 17 commits into
mainfrom
nodeps

Conversation

@marberts

@marberts marberts commented Jul 14, 2026

Copy link
Copy Markdown
Owner

Closes #79, #80.

@marberts marberts self-assigned this Jul 14, 2026
@marberts marberts linked an issue Jul 14, 2026 that may be closed by this pull request
@marberts
marberts merged commit d070852 into main Jul 16, 2026
8 checks passed
@marberts
marberts deleted the nodeps branch July 16, 2026 00:50
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.

Add multilaterals Drop {gpindex}

1 participant