git: a653242bc800 - main - games/vcmi: update the port to version 1.3.1

From: Alexey Dokuchaev <danfe_at_FreeBSD.org>
Date: Fri, 25 Aug 2023 03:39:08 UTC 
The branch main has been updated by danfe:

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

commit a653242bc800202e28f6512181046f8f5aaeb4b8
Author:     Alexey Dokuchaev <danfe@FreeBSD.org>
AuthorDate: 2023-08-25 03:38:22 +0000
Commit:     Alexey Dokuchaev <danfe@FreeBSD.org>
CommitDate: 2023-08-25 03:38:22 +0000

    games/vcmi: update the port to version 1.3.1
    
    Reported by:    portscout
---
 games/vcmi/Makefile | 3 +--
 games/vcmi/distinfo | 6 +++---
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/games/vcmi/Makefile b/games/vcmi/Makefile
index 46f5de34abec..27f41c9ef657 100644
--- a/games/vcmi/Makefile
+++ b/games/vcmi/Makefile
@@ -1,6 +1,5 @@
 PORTNAME=	vcmi
-PORTVERSION=	1.3.0
-PORTREVISION=	1
+PORTVERSION=	1.3.1
 CATEGORIES=	games
 
 MAINTAINER=	danfe@FreeBSD.org
diff --git a/games/vcmi/distinfo b/games/vcmi/distinfo
index 88cde4484385..d768618e71a2 100644
--- a/games/vcmi/distinfo
+++ b/games/vcmi/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1691137149
-SHA256 (vcmi-vcmi-1.3.0_GH0.tar.gz) = 358c4ed57af292ce334582a7c0db81892b4bedcea7ab173d18dbb1dcf9c041cc
-SIZE (vcmi-vcmi-1.3.0_GH0.tar.gz) = 7971172
+TIMESTAMP = 1692278360
+SHA256 (vcmi-vcmi-1.3.1_GH0.tar.gz) = 1c714487a6c3c7b9fd956fc2a50d05a1ebcc9431c6b9c72f256143be38f4e0da
+SIZE (vcmi-vcmi-1.3.1_GH0.tar.gz) = 7976914