From 1055d437af794edd34cba44e33915000cb2dbb23 Mon Sep 17 00:00:00 2001
From: Michael Ernst <mernst@cs.washington.edu>
Date: Sat, 21 Sep 2024 18:52:09 -0700
Subject: [PATCH] Don't use verbose by default

---
 src/scripts/merge_tools/merging | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/scripts/merge_tools/merging b/src/scripts/merge_tools/merging
index 694e1ac7bd..dfa28f8954 160000
--- a/src/scripts/merge_tools/merging
+++ b/src/scripts/merge_tools/merging
@@ -1 +1 @@
-Subproject commit 694e1ac7bdb17a2631442405513e748c837a9f3b
+Subproject commit dfa28f8954956fb952805cc1fb628287475a855a