HomeSoftware Heritage

Merge pull request #427 from jnguiot/master

Description

Merge pull request #427 from jnguiot/master

Details

Provenance
Christos Papageorgiou <christos.papageorgioy@gmail.com>Authored on Nov 16 2021, 9:57 AM
GitHub <noreply@github.com>Committed on Nov 16 2021, 9:57 AM
olasdPushed on Dec 28 2021, 10:47 AM
Parents
R226:873e810bb6c6: Fix #425 . redis.conf is now read protected
R226:fe1f194f6209: Merge pull request #426 from ymartin-ovh/redis-modules
Branches
Unknown
Tags
Unknown
References
HEAD -> master

Event Timeline

GitHub <noreply@github.com> committed R226:4a8d7811da5f: Merge pull request #427 from jnguiot/master (authored by Christos Papageorgiou <christos.papageorgioy@gmail.com>).Nov 16 2021, 9:57 AM