databases/redis72: Update version 7.2.12=>7.2.13
Changelog: https://github.com/redis/redis/releases/tag/7.2.13