HomeSoftware Heritage

Merge pull request #185 from voxpupuli/release

Description

Merge pull request #185 from voxpupuli/release

Details

Provenance
Romain Tartière <romain@blogreen.org>Authored on Aug 25 2021, 10:50 PM
GitHub <noreply@github.com>Committed on Aug 25 2021, 10:50 PM
olasdPushed on Dec 28 2021, 10:47 AM
Parents
rSPEXTL28b685b7fd98: Release 5.2.1
rSPEXTLb245813e0a20: Merge pull request #184 from voxpupuli/stdlib
Branches
Unknown
Tags
Unknown
References
tag: v5.2.1

Event Timeline

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