Description

Merge pull request #2184 from smortex/stdlib

(maint) Allow stdlib 8.0.0

Details

Provenance

Ewoud Kohl van Wijngaarden <ewoud@kohlvanwijngaarden.nl>	Authored on Aug 25 2021, 12:13 PM
GitHub <noreply@github.com>	Committed on Aug 25 2021, 12:13 PM
olasd	Pushed on Dec 28 2021, 10:47 AM

Parents

Branches

Unknown

Tags

Unknown

GitHub <noreply@github.com> committed rSPAPAf83e5b22bdae: Merge pull request #2184 from smortex/stdlib (authored by Ewoud Kohl van Wijngaarden <ewoud@kohlvanwijngaarden.nl>).Aug 25 2021, 12:13 PM