Skip to content

Map as new type and Expression#204

Merged
scarmuega merged 6 commits intomainfrom
125-support-map-types
Sep 11, 2025
Merged

Map as new type and Expression#204
scarmuega merged 6 commits intomainfrom
125-support-map-types

Conversation

@Benja272
Copy link
Copy Markdown
Contributor

No description provided.

@Benja272 Benja272 linked an issue Jul 14, 2025 that may be closed by this pull request
@Benja272
Copy link
Copy Markdown
Contributor Author

This PR should be merged with this updates in Trix for adequate sync.

@Benja272
Copy link
Copy Markdown
Contributor Author

Changes in the dolos repo are needed also. PR

@scarmuega scarmuega merged commit 5101a79 into main Sep 11, 2025
1 check passed
scarmuega pushed a commit that referenced this pull request Sep 11, 2025
Co-authored-by: sofia-bobbiesi <sofiabobbiesi@gmail.com>
@sofia-bobbiesi sofia-bobbiesi deleted the 125-support-map-types branch November 9, 2025 20:26
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

support map types

3 participants