Change ReadPackage
to print a warning if specified file cannot be read (e.g. because it is missing)#5762
Merged
fingolfin merged 1 commit intogap-system:masterfrom fingolfin:mh/ReadPackage-errorNov 10, 2024
+15-9