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:40 PM
olasdPushed on Dec 28 2021, 10:47 AM
Parents
R144:f4a3ebd03934: Merge pull request #449 from yachub/fix_optional_param_default
Branches
Unknown
Tags
Unknown

Event Timeline

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