git: 9d3e1a5d6286 - main - devel/catch: update to 2.13.9

From: Pietro Cerutti <gahr_at_FreeBSD.org>
Date: Fri, 15 Apr 2022 15:26:38 UTC
The branch main has been updated by gahr:

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

commit 9d3e1a5d62860fcb03f121abb1a0fdb6fbefffd6
Author:     Pietro Cerutti <gahr@FreeBSD.org>
AuthorDate: 2022-04-15 15:25:54 +0000
Commit:     Pietro Cerutti <gahr@FreeBSD.org>
CommitDate: 2022-04-15 15:25:54 +0000

    devel/catch: update to 2.13.9
    
    Release notes: https://github.com/catchorg/Catch2/releases/tag/v2.13.9
---
 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 d9123a528916..38fc74acb6de 100644
--- a/devel/catch/Makefile
+++ b/devel/catch/Makefile
@@ -2,7 +2,7 @@
 
 PORTNAME=	catch
 DISTVERSIONPREFIX=	v
-DISTVERSION=	2.13.8
+DISTVERSION=	2.13.9
 PORTREVISION=	0
 CATEGORIES=	devel
 
diff --git a/devel/catch/distinfo b/devel/catch/distinfo
index d702aa20ee0e..2ca78806ba31 100644
--- a/devel/catch/distinfo
+++ b/devel/catch/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1646126621
-SHA256 (catchorg-Catch2-v2.13.8_GH0.tar.gz) = b9b592bd743c09f13ee4bf35fc30eeee2748963184f6bea836b146e6cc2a585a
-SIZE (catchorg-Catch2-v2.13.8_GH0.tar.gz) = 661711
+TIMESTAMP = 1650035231
+SHA256 (catchorg-Catch2-v2.13.9_GH0.tar.gz) = 06dbc7620e3b96c2b69d57bf337028bf245a211b3cddb843835bfe258f427a52
+SIZE (catchorg-Catch2-v2.13.9_GH0.tar.gz) = 661915