New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Change Event additionalProperties to public #330

Merged

u01jmg3 merged 1 commit into u01jmg3:master from karlshea:public-additional

Nov 30, 2023

Contributor

karlshea commented Nov 30, 2023

Changes Event's $additionalProperties visibility to public so its values can be iterated.

Fixes #329


          Change Event additionalProperties to public

7b56708

u01jmg3 self-requested a review

November 30, 2023 23:43

u01jmg3 assigned karlshea

u01jmg3 approved these changes

View reviewed changes

u01jmg3 merged commit 8f10d0f into u01jmg3:master

5 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment