Skip to content

Maybe schema - #2

Merged
rasheedja merged 5 commits into
proda-ai:masterfrom
stevladimir:maybe-schema
Oct 15, 2024
Merged

Maybe schema#2
rasheedja merged 5 commits into
proda-ai:masterfrom
stevladimir:maybe-schema

Conversation

@rasheedja

Copy link
Copy Markdown

Merge a fix for maybes that's currently waiting to be merged upstream

@rasheedja
rasheedja merged commit 1300fc1 into proda-ai:masterOct 15, 2024
Sign up for freeto 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

@rasheedja@stevladimir