HomeSoftware Heritage

Use OpenJDK 11 to build the documentation

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

Description

Use OpenJDK 11 to build the documentation

(Apparently we need OpenJDK >= 9 as mentioned in T1943)

Details

Provenance
olasdAuthored on Aug 26 2019, 9:35 AM
olasdPushed on Aug 26 2019, 9:38 AM

Commit No Longer Exists

This commit no longer exists in the repository.