git: ed132590525d - main - devel/catch: update to 2.13.7

[Pietro Cerutti]

The branch main has been updated by gahr:

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

commit ed132590525d1d3e640f710ec4c310e0de5596a8
Author:     Pietro Cerutti <gahr at FreeBSD.org>
AuthorDate: 2021-07-30 16:10:30 +0000
Commit:     Pietro Cerutti <gahr at FreeBSD.org>
CommitDate: 2021-07-30 16:10:30 +0000

    devel/catch: update to 2.13.7
    
    Release notes: https://github.com/catchorg/Catch2/releases/tag/v2.13.7
---
 devel/catch/Makefile | 2 +-
 devel/catch/distinfo | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/devel/catch/Makefile b/devel/catch/Makefile
index 72cdcf219001..0d2320661361 100644
--- a/devel/catch/Makefile
+++ b/devel/catch/Makefile
@@ -2,7 +2,7 @@
 
 PORTNAME=	catch
 DISTVERSIONPREFIX=	v
-DISTVERSION=	2.13.6
+DISTVERSION=	2.13.7
 PORTREVISION=	0
 CATEGORIES=	devel
 
diff --git a/devel/catch/distinfo b/devel/catch/distinfo
index 1aad39023664..3946bf66d29c 100644
--- a/devel/catch/distinfo
+++ b/devel/catch/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1618814424
-SHA256 (catchorg-Catch2-v2.13.6_GH0.tar.gz) = 48dfbb77b9193653e4e72df9633d2e0383b9b625a47060759668480fdf24fbd4
-SIZE (catchorg-Catch2-v2.13.6_GH0.tar.gz) = 659811
+TIMESTAMP = 1627644399
+SHA256 (catchorg-Catch2-v2.13.7_GH0.tar.gz) = 3cdb4138a072e4c0290034fe22d9f0a80d3bcfb8d7a8a5c49ad75d3a5da24fae
+SIZE (catchorg-Catch2-v2.13.7_GH0.tar.gz) = 661014