Re: git: 1559e70f1eab - main - databases/redis-devel: Update version 8.0.2.20250630=>8.0.3.20250731

From: Sergey A. Osokin <osa_at_freebsd.org>
Date: Tue, 19 Aug 2025 13:18:19 UTC 
Hi Muhammad,
thanks for the updating the port.

On Tue, Aug 19, 2025 at 06:46:00AM +0000, Muhammad Moinur Rahman wrote:
> The branch main has been updated by bofh:
> 
> URL: https://cgit.FreeBSD.org/ports/commit/?id=1559e70f1eabd1ec3d3961d99b9c779ca6342edf
> 
> commit 1559e70f1eabd1ec3d3961d99b9c779ca6342edf
> Author:     Muhammad Moinur Rahman <bofh@FreeBSD.org>
> AuthorDate: 2025-08-19 04:56:40 +0000
> Commit:     Muhammad Moinur Rahman <bofh@FreeBSD.org>
> CommitDate: 2025-08-19 06:45:39 +0000
> 
>     databases/redis-devel: Update version 8.0.2.20250630=>8.0.3.20250731
> ---
>  databases/redis-devel/Makefile | 4 ++--
>  databases/redis-devel/distinfo | 6 +++---
>  2 files changed, 5 insertions(+), 5 deletions(-)
> 
> diff --git a/databases/redis-devel/Makefile b/databases/redis-devel/Makefile
> index ad4298ace6d1..7d454506de6d 100644
> --- a/databases/redis-devel/Makefile
> +++ b/databases/redis-devel/Makefile
> @@ -1,5 +1,5 @@
>  PORTNAME=	redis
> -DISTVERSION=	8.0.2.20250630
> +DISTVERSION=	8.0.3.20250731

I'm curious why is the redis' development version major number (8.0)
is less than of the stable version major number (8.2)?
Shouldn't it be 8.3 or 8.4?

Thank you.

-- 
Sergey A. Osokin