HomeSoftware Heritage

Merge pull request #192 from voxpupuli/stdlib

Description

Merge pull request #192 from voxpupuli/stdlib

Allow stdlib 8.0.0

Details

Provenance
Tim Meusel <tim@bastelfreak.de>Authored on Aug 26 2021, 8:47 AM
GitHub <noreply@github.com>Committed on Aug 26 2021, 8:47 AM
olasdPushed on Dec 28 2021, 10:47 AM
Parents
rSPUUPDc8a5b3451597: Allow stdlib 8.0.0
rSPUUPDf8fd67701535: Merge pull request #191 from anarcat/deprecate-options
Branches
Unknown
Tags
Unknown

Event Timeline

GitHub <noreply@github.com> committed rSPUUPD1e9b047caf38: Merge pull request #192 from voxpupuli/stdlib (authored by Tim Meusel <tim@bastelfreak.de>).Aug 26 2021, 8:47 AM