git: b62073d6f6bc - 2023Q3 - databases/redis: Update to 7.0.13

The branch 2023Q3 has been updated by yasu:

URL: https://cgit.FreeBSD.org/ports/commit/?id=b62073d6f6bc8e1569d3a5fa88fcb35a9305b097

commit b62073d6f6bc8e1569d3a5fa88fcb35a9305b097
Author:     Yasuhiro Kimura <yasu@FreeBSD.org>
AuthorDate: 2023-09-07 02:05:26 +0000
Commit:     Yasuhiro Kimura <yasu@FreeBSD.org>
CommitDate: 2023-09-08 00:47:32 +0000

    databases/redis: Update to 7.0.13
    
    This port is already updated to 7.2 on main branch but still stays in
    7.0 on 2023Q3. So directly commit the update rather than merge it from
    main.
    
    ChangeLog:      https://github.com/redis/redis/releases/tag/7.0.13
    Approved by:    fluffy (ports-secteam, via private email)
    Security:       6c72b13f-4d1d-11ee-a7f1-080027f5fec9
---
 databases/redis/Makefile | 2 +-
 databases/redis/distinfo | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/databases/redis/Makefile b/databases/redis/Makefile
index 5fa8434b338b..bef02aeb7465 100644
--- a/databases/redis/Makefile
+++ b/databases/redis/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	redis
-DISTVERSION=	7.0.12
+DISTVERSION=	7.0.13
 CATEGORIES=	databases
 MASTER_SITES=	https://download.redis.io/releases/
 
diff --git a/databases/redis/distinfo b/databases/redis/distinfo
index 853aa457b04f..3e288fbb5933 100644
--- a/databases/redis/distinfo
+++ b/databases/redis/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1689004450
-SHA256 (redis-7.0.12.tar.gz) = 9dd83d5b278bb2bf0e39bfeb75c3e8170024edbaf11ba13b7037b2945cf48ab7
-SIZE (redis-7.0.12.tar.gz) = 2992216
+TIMESTAMP = 1694051975
+SHA256 (redis-7.0.13.tar.gz) = 97065774d5fb8388eb0d8913458decfcb167d356e40d31dd01cd30c1cc391673
+SIZE (redis-7.0.13.tar.gz) = 2993829