added missing derives #186

Merged
muellerr merged 1 commits from add-missing-derives into main 2025-11-04 15:57:47 +01:00