Skip to content

Conversation

anweiss
Copy link
Owner

@anweiss anweiss commented Aug 1, 2023

Fixes in the bugs reported in #197.

@anweiss anweiss added the bug fix label Aug 1, 2023
@anweiss anweiss added this to the v1.0.0 milestone Aug 1, 2023
@anweiss anweiss self-assigned this Aug 1, 2023
@anweiss anweiss force-pushed the fix-197 branch 2 times, most recently from d62f3b4 to d7d2461 Compare August 1, 2023 19:59
@anweiss anweiss changed the title Fix 197 Fix type choice array validation errors Aug 2, 2023
@anweiss anweiss merged commit 83f837e into main Aug 2, 2023
@anweiss anweiss deleted the fix-197 branch August 2, 2023 01:01
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant