HomeSoftware Heritage

allow stdlib < 7.0.0, fixes #87 #86

Description

allow stdlib < 7.0.0, fixes #87 #86

Details

Provenance
Steffen Zieger <me@saz.sh>Authored on Jun 14 2019, 4:04 PM
olasdPushed on Jun 26 2019, 2:00 PM
Parents
rSPTZe44be603765a: bugfix release v5.1.1
Branches
Unknown
Tags
Unknown

Event Timeline

Steffen Zieger <me@saz.sh> committed rSPTZ21b4a581ff22: allow stdlib < 7.0.0, fixes #87 #86 (authored by Steffen Zieger <me@saz.sh>).Jun 14 2019, 4:04 PM