JSON: fix serialization error due to SituatedMsg#67
Merged
sipma merged 1 commit intostatic-analysis-engineering:masterfrom Feb 26, 2026
Merged
JSON: fix serialization error due to SituatedMsg#67sipma merged 1 commit intostatic-analysis-engineering:masterfrom
sipma merged 1 commit intostatic-analysis-engineering:masterfrom
