HomeSoftware Heritage

Merge pull request #184 from voxpupuli/stdlib

Description

Merge pull request #184 from voxpupuli/stdlib

Details

Provenance
Romain Tartière <romain@blogreen.org>Authored on Aug 25 2021, 10:14 PM
GitHub <noreply@github.com>Committed on Aug 25 2021, 10:14 PM
olasdPushed on Dec 28 2021, 10:47 AM
Parents
rSPEXTL07a113d5f655: Allow stdlib 8.0.0
rSPEXTLc602ebbd4645: [blacksmith] Bump version to 5.2.1-rc0
Branches
Unknown
Tags
Unknown

Event Timeline

GitHub <noreply@github.com> committed rSPEXTLb245813e0a20: Merge pull request #184 from voxpupuli/stdlib (authored by Romain Tartière <romain@blogreen.org>).Aug 25 2021, 10:14 PM