Skip to content

Fix use of serde#538

Merged
esteve merged 2 commits intoros2-rust:mainfrom
mxgrey:fix_serde
Oct 12, 2025
Merged

Fix use of serde#538
esteve merged 2 commits intoros2-rust:mainfrom
mxgrey:fix_serde

Commits

Commits on Oct 10, 2025