From 8a05f4e2213f49099d491042876dc10627821ec9 Mon Sep 17 00:00:00 2001
From: "github-actions[bot]" <github-actions[bot]@users.noreply.github.com>
Date: Wed, 13 Dec 2023 14:17:40 +0000
Subject: [PATCH] update default_config.json

---
 dist/default_config.json | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/dist/default_config.json b/dist/default_config.json
index 2b01485..e0cabb2 100644
--- a/dist/default_config.json
+++ b/dist/default_config.json
@@ -3676,6 +3676,9 @@
       "extraBlockSelectors": [
         ".prose > span"
       ],
+      "mutationConfig.add": {
+        "consumeTimeout": 500
+      },
       "additionalStayOriginalSelectors": [
         "a.citation"
       ],
@@ -4989,6 +4992,6 @@
       ]
     }
   ],
-  "buildinConfigUpdatedAt": "2023-12-13T12:28:21.856Z",
+  "buildinConfigUpdatedAt": "2023-12-13T14:17:40.790Z",
   "latestVersion": "0.12.6"
 }