HomeIsabelle/Phabricator

no pide_session on macos: avoid odd "hang" of remote_build_history;

Authored by makarius.