Skip to content

[openapi3] emit additionalProperties for a declared Record indexer in 3.1 - #11954

Merged
Timothee Guerin (timotheeguerin) merged 1 commit into
microsoft:mainfrom
bimsonz:openapi3-record-additional-properties
Oct 5, 2026
Merged

[openapi3] emit additionalProperties for a declared Record indexer in 3.1#11954
Timothee Guerin (timotheeguerin) merged 1 commit into
microsoft:mainfrom
bimsonz:openapi3-record-additional-properties

[openapi3] emit additionalProperties for a declared Record indexer in…

7effa6d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
Check Changes
succeeded Oct 5, 2026 in 58s