Skip to content

Descriptor array#104

Closed
elindgren wants to merge 53 commits intodevelopfrom
DescriptorArray
Closed

Descriptor array#104
elindgren wants to merge 53 commits intodevelopfrom
DescriptorArray

Conversation

@elindgren
Copy link
Collaborator

Implements the DescriptorArray type, defined in #95 and #103

Fixes #103.

@elindgren elindgren self-assigned this Mar 3, 2025
@elindgren elindgren changed the base branch from master to develop March 3, 2025 15:16
@elindgren
Copy link
Collaborator Author

elindgren commented Mar 3, 2025

I screwed up the git history, created a new PR here: #105

@elindgren elindgren closed this Mar 3, 2025
@rozyczko rozyczko deleted the DescriptorArray branch February 17, 2026 18:52
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.

ADR Suggestion: DescriptorArray

4 participants