On Sunday 9 Feb 2025, at 18:37, Greg A. Woods wrote: > I do think they belong with the definition of dev_t though, which I > think means keep them where they are.
FWIW, I also raised the issue upstream: https://github.com/gazebosim/gz-msgs/issues/484 If this can be somehow fixed there, that works too :)
