git: ad017799f49e - main - devel/catch: update to 2.15.5

[Pietro Cerutti]

The branch main has been updated by gahr:

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

commit ad017799f49e2952e9148abea4c2cb2fc87c3a1d
Author:     Pietro Cerutti <gahr at FreeBSD.org>
AuthorDate: 2021-04-13 06:14:00 +0000
Commit:     Pietro Cerutti <gahr at FreeBSD.org>
CommitDate: 2021-04-13 06:15:22 +0000

    devel/catch: update to 2.15.5
    
    Release notes:
    https://github.com/catchorg/Catch2/releases/tag/v2.13.4
    https://github.com/catchorg/Catch2/releases/tag/v2.13.5
---
 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 14fcfa1e41f3..dab70185e12f 100644
--- a/devel/catch/Makefile
+++ b/devel/catch/Makefile
@@ -2,7 +2,7 @@
 
 PORTNAME=	catch
 DISTVERSIONPREFIX=	v
-DISTVERSION=	2.13.3
+DISTVERSION=	2.13.5
 PORTREVISION=	0
 CATEGORIES=	devel
 
diff --git a/devel/catch/distinfo b/devel/catch/distinfo
index 26d145e40395..a1a292297383 100644
--- a/devel/catch/distinfo
+++ b/devel/catch/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1604301888
-SHA256 (catchorg-Catch2-v2.13.3_GH0.tar.gz) = fedc5b008f7eb574f45098e7c7138211c543f0f8ad04792090e790511697a877
-SIZE (catchorg-Catch2-v2.13.3_GH0.tar.gz) = 655431
+TIMESTAMP = 1618293509
+SHA256 (catchorg-Catch2-v2.13.5_GH0.tar.gz) = 7fee7d643599d10680bfd482799709f14ed282a8b7db82f54ec75ec9af32fa76
+SIZE (catchorg-Catch2-v2.13.5_GH0.tar.gz) = 659672