package/redis: bump to v7.2.3
From the release notes:
(see https://github.com/redis/redis/blob/7.2.3/00-RELEASENOTES)
Upgrade urgency: HIGH, Fixes critical bugs affecting most users.
Bug fixes
=========
* Fix file descriptor leak preventing deleted files from freeing disk
space on replicas (#12693)
* Fix a possible crash after cluster node removal (#12702)
Signed-off-by: Titouan Christophe <titouanchristophe@gmail.com>
Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>