HomeSoftware Heritage

Allow stdlib 8.0.0

Description

Allow stdlib 8.0.0

Details

Provenance
Romain Tartière <romain@blogreen.org>Authored on Aug 25 2021, 7:43 PM
olasdPushed on Dec 28 2021, 10:47 AM
Parents
rSPUUPDf8fd67701535: Merge pull request #191 from anarcat/deprecate-options
Branches
Unknown
Tags
Unknown

Event Timeline

Romain Tartière <romain@blogreen.org> committed rSPUUPDc8a5b3451597: Allow stdlib 8.0.0 (authored by Romain Tartière <romain@blogreen.org>).Aug 25 2021, 7:43 PM