Improve errors messages for various set operations (AddSet, UniteSet, ...)#4145
Merged
fingolfin merged 1 commit intogap-system:masterfrom fingolfin:mh/friendlier-set-operationsOct 21, 2020
+61
AddSet, UniteSet, ...)#4145