Merge branch 'main' into v17/dev

This commit is contained in:
Andy Butland
2025-10-17 15:20:55 +02:00

View File

@@ -40662,7 +40662,7 @@
},
"actionParameters": {
"type": "object",
"additionalProperties": { },
"additionalProperties": {},
"nullable": true
}
},
@@ -41287,7 +41287,7 @@
},
"extensions": {
"type": "array",
"items": { }
"items": {}
}
},
"additionalProperties": false
@@ -45159,7 +45159,7 @@
"nullable": true
}
},
"additionalProperties": { }
"additionalProperties": {}
},
"ProblemDetailsBuilderModel": {
"type": "object",