2212 add message properties for generated messages #2213
Merged
Azure Pipelines / PR tests (gcc-8, ubuntu, mpich, address sanitizer)
succeeded
Nov 30, 2023 in 1h 5m 2s
Build #PR tests (gcc-8, ubuntu, mpich, address sanitizer) succeeded
Loading