HomeSource World

Merge pull request #85543 from DamienCassou/damien/ledger-autosync

Description

Merge pull request #85543 from DamienCassou/damien/ledger-autosync

ledger-autosync: 1.0.1 -> 1.0.2

Details

Provenance
Damien Cassou <damien@cassou.me>Authored on Apr 26 2020, 6:47 PM
GitHub <noreply@github.com>Committed on Apr 26 2020, 6:47 PM
sorpaasPushed on May 4 2020, 1:46 PM
Parents
rNIXPKGS6c1201aa8ca9: ledger-autosync: 1.0.1 -> 1.0.2
rNIXPKGSd19994b58e59: Merge pull request #85872 from vbgl/coq-equations-1.2.1
Branches
Unknown
Tags
Unknown

Event Timeline

GitHub <noreply@github.com> committed rNIXPKGS5fec59242153: Merge pull request #85543 from DamienCassou/damien/ledger-autosync (authored by Damien Cassou <damien@cassou.me>).Apr 26 2020, 6:47 PM