git: 3a25365c85f3 - main - devel/arduino-irremote: Update to 4.1.2

From: Craig Leres <leres_at_FreeBSD.org>
Date: Wed, 22 Mar 2023 20:46:38 UTC 
The branch main has been updated by leres:

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

commit 3a25365c85f3f25932d79c525f3c6b70abcaed47
Author:     Craig Leres <leres@FreeBSD.org>
AuthorDate: 2023-03-22 20:46:16 +0000
Commit:     Craig Leres <leres@FreeBSD.org>
CommitDate: 2023-03-22 20:46:16 +0000

    devel/arduino-irremote: Update to 4.1.2
    
    Changes since 4.1.1:
    
     - Workaround for ESP32 RTOS delay() timing bug influencing the…mark()
       function
    
    Reported by:    portscout
---
 devel/arduino-irremote/Makefile | 2 +-
 devel/arduino-irremote/distinfo | 6 +++---
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/devel/arduino-irremote/Makefile b/devel/arduino-irremote/Makefile
index 71d20d259624..3e3dde3f7ddd 100644
--- a/devel/arduino-irremote/Makefile
+++ b/devel/arduino-irremote/Makefile
@@ -1,5 +1,5 @@
 PORTNAME=	arduino-irremote
-PORTVERSION=	4.1.1
+PORTVERSION=	4.1.2
 DISTVERSIONPREFIX=	v
 CATEGORIES=	devel
 
diff --git a/devel/arduino-irremote/distinfo b/devel/arduino-irremote/distinfo
index f4d5542e2a93..3f586352d2a3 100644
--- a/devel/arduino-irremote/distinfo
+++ b/devel/arduino-irremote/distinfo
@@ -1,3 +1,3 @@
-TIMESTAMP = 1679362929
-SHA256 (z3t0-Arduino-IRremote-v4.1.1_GH0.tar.gz) = 634e5ee4ab07f003af9568997dd8f6bdb475dcda46c273cff10d6337ff7ca6f5
-SIZE (z3t0-Arduino-IRremote-v4.1.1_GH0.tar.gz) = 808184
+TIMESTAMP = 1679517741
+SHA256 (z3t0-Arduino-IRremote-v4.1.2_GH0.tar.gz) = cbeed5e7d73c99b76addf44f376a9430b42be25b9aeefcdb4e7a7918cc80141d
+SIZE (z3t0-Arduino-IRremote-v4.1.2_GH0.tar.gz) = 808424