merged
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEa6c7a257b713: clarified signature: prefer static operations;
rISABELLEbae4731cba8f: Automated merge with bundle:/var/folders/9z/l1x9y3bd16x9_70pdp4703jr0000gp/T/So… - Branches
- Unknown
- Tags
Merged Changes
Merged Changes