Changelog: https://github.com/redis/redis/releases/tag/7.2.13

Changelog: https://github.com/redis/redis/releases/tag/7.2.12

MFH:		2025Q4

Changelog: https://github.com/redis/redis/releases/tag/7.2.11

MFH:		2025Q4
Security:       CVE-2025-49844
Security:       CVE-2025-46817
Security:       CVE-2025-46818
Security:       CVE-2025-46819

I will be away from keyboard within 1-2 months and am not sure when I
will return. So pass maintainership of these ports to new maintainer
so they are timely updated (e.g. security update).

ReleaseNotes:	https://github.com/redis/redis/blob/7.2.10/00-RELEASENOTES
MFH:		2025Q3
Security:	4ea9cbc3-5b28-11f0-b507-000c295725e4
Security:	f11d0a69-5b2d-11f0-b507-000c295725e4
Security:	7b3e7f71-5b30-11f0-b507-000c295725e4

Update CONFLICTS_INSTALL aftter databases/redis74 is added to ports
tree.

ChangeLog:	https://github.com/redis/redis/releases/tag/7.2.8
MFH:		2025Q2
Security:	af8d043f-20df-11f0-b9c5-000c295725e4

While here, remove confusing comment.

ChangeLog:	https://github.com/redis/redis/releases/tag/7.2.7
MFH:		2025Q1
Security:	CVE-2024-51741
Security:	CVE-2024-46981

ChangeLog:	https://github.com/redis/redis/releases/tag/7.2.6
MFH:		2024Q3
Security:	8b20f21a-8113-11ef-b988-08002784c58d