HomeSoftware Heritage

Fix documentation build

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

Fix documentation build

It was broken by 0e8da810ac962b79dda18d9cfe9f3c7ea4f9de52
because the conditional import prevents sphinx from detecting
where the class is imported from.

Additionally, this attribute should not be on the interface,
because proxies do not have it, but they are expected to have
that interface.

Details

Provenance
vlorentzAuthored on Oct 23 2022, 5:39 PM
vlorentzPushed on Oct 24 2022, 12:54 PM
Differential Revision
D8754: Fix documentation build
Build Status
Buildable 32521
Build 50932: test-and-buildJenkins console · Jenkins

Commit No Longer Exists

This commit no longer exists in the repository.