HomeSoftware Heritage

Merge pull request #470 from voxpupuli/stdlib

Description

Merge pull request #470 from voxpupuli/stdlib

Allow stdlib 8.0.0

Details

Provenance
Kenyon Ralph <kenyon@kenyonralph.com>Authored on Aug 26 2021, 4:43 PM
GitHub <noreply@github.com>Committed on Aug 26 2021, 4:43 PM
olasdPushed on Dec 28 2021, 10:47 AM
Parents
R208:9f42eb537273: Allow stdlib 8.0.0
R208:542df57c7f5d: Merge pull request #467 from voxpupuli/modulesync
Branches
Unknown
Tags
Unknown

Event Timeline

GitHub <noreply@github.com> committed R208:39d88160c7d5: Merge pull request #470 from voxpupuli/stdlib (authored by Kenyon Ralph <kenyon@kenyonralph.com>).Aug 26 2021, 4:43 PM