no pide_session on macos: avoid odd "hang" of remote_build_history;
Description
Description
Details
Details
- Provenance
makarius Authored on - Parents
- rISABELLEf43b08980f56: support generated preferences, i.e. non-strict system options;
- Branches
- Unknown
- Tags