clarified synchronized operations: approximate file-system transactions;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLE864b10457a7d: more robust concurrency: use shared Browser_Info.Context with synchronized fileā¦
- Branches
- Unknown
- Tags