proper type conversion for scala-2.13: problem was unnoticed since ca17e9ebfdf1;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE3c710067b178: back to more ambitious scala-3.1.1 (see 8b7497992301);
- Branches
- Unknown
- Tags