Vacuum constructors for OccupationNumberFS
#308
Merged
joachimbrand merged 8 commits intodevelopfrom bugfix/occupationnumberfsFeb 6, 2025
+99-32
Commits
Commits on Feb 1, 2025
- committed
- committed
- committed
- committed
- committed