HomeIsabelle/Phabricator

clarified signature: more explicit type Rsync.Context;