HomeSoftware Heritage

Merge pull request #314 from smortex/stdlib

Description

Merge pull request #314 from smortex/stdlib

Allow stdlib 8.0.0

Details

Provenance
Steffen Zieger <me@saz.sh>Authored on Aug 26 2021, 9:29 AM
GitHub <noreply@github.com>Committed on Aug 26 2021, 9:29 AM
olasdPushed on Dec 28 2021, 10:47 AM
Parents
rSPSSHc356a5ad3b8a: Allow stdlib 8.0.0
rSPSSHe9d675633cd7: Merge pull request #313 from saz/modulesync
Branches
Unknown
Tags
Unknown

Event Timeline

GitHub <noreply@github.com> committed rSPSSH2f2b7ae0f7ff: Merge pull request #314 from smortex/stdlib (authored by Steffen Zieger <me@saz.sh>).Aug 26 2021, 9:29 AM