update to PETSIRD 0.7.2 and remove python#13
Merged
KrisThielemans merged 2 commits intoETSInitiative:mainfrom Jul 12, 2025
Merged
update to PETSIRD 0.7.2 and remove python#13KrisThielemans merged 2 commits intoETSInitiative:mainfrom
KrisThielemans merged 2 commits intoETSInitiative:mainfrom