Merge pull request #1465 from voxpupuli/stdlib
b53f736e0e05
Actions

Description

Merge pull request #1465 from voxpupuli/stdlib

Allow stdlib 8.0.0

Provenance

Ewoud Kohl van Wijngaarden <ewoud@kohlvanwijngaarden.nl>	Authored on Sep 8 2021, 10:51 AM
GitHub <noreply@github.com>	Committed on Sep 8 2021, 10:51 AM
olasd	Pushed on Dec 28 2021, 10:47 AM

Parents

Branches

Unknown

Tags

Unknown

GitHub <noreply@github.com> committed rSPNGXb53f736e0e05: Merge pull request #1465 from voxpupuli/stdlib (authored by Ewoud Kohl van Wijngaarden <ewoud@kohlvanwijngaarden.nl>).Sep 8 2021, 10:51 AM

Path

Size