Skip to content

[cleanup] use Json addProperties instead of append#3855

Merged
eranif merged 3 commits intoeranif:masterfrom
Jarod42:json_properties
Mar 14, 2026
Merged

[cleanup] use Json addProperties instead of append#3855
eranif merged 3 commits intoeranif:masterfrom
Jarod42:json_properties