HomeSoftware Heritage

Allow stdlib < 9.0.0, fixes #275

Description

Allow stdlib < 9.0.0, fixes #275

Details

Provenance
Steffen Zieger <me@saz.sh>Authored on Aug 25 2021, 4:12 PM
GitHub <noreply@github.com>Committed on Aug 25 2021, 4:12 PM
olasdPushed on Dec 28 2021, 10:47 AM
Parents
rSPSUDO09f9ae0a4385: new release: v7.0.1
Branches
Unknown
Tags
Unknown

Event Timeline

GitHub <noreply@github.com> committed rSPSUDO97b11e05a274: Allow stdlib < 9.0.0, fixes #275 (authored by Steffen Zieger <me@saz.sh>).Aug 25 2021, 4:12 PM