From 3be4e142ec1bb17053092342f30c9793f439d694 Mon Sep 17 00:00:00 2001
From: "dependabot[bot]" <49699333+dependabot[bot]@users.noreply.github.com>
Date: Fri, 14 Oct 2022 10:27:03 +0200
Subject: [PATCH] =?UTF-8?q?=E2=AC=86=EF=B8=8F=20Bump=20extern/qfr=20from?=
 =?UTF-8?q?=20`ca6da01`=20to=20`76dfda6`=20(#94)?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

---
 extern/qfr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/extern/qfr b/extern/qfr
index ca6da01b..76dfda69 160000
--- a/extern/qfr
+++ b/extern/qfr
@@ -1 +1 @@
-Subproject commit ca6da01b47f1a14a911ed529a042f784e954a77d
+Subproject commit 76dfda69e0f55de1c3408b55fe94019b9ac1561f