From 912cbb22d57b715bb4271f538d339ad7ebf5a002 Mon Sep 17 00:00:00 2001
From: Nick Sweeting <git@sweeting.me>
Date: Tue, 30 Jun 2020 01:10:21 -0400
Subject: [PATCH] fix CURL_USER_AGENT missing from config stubs

---
 archivebox/config/stubs.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/archivebox/config/stubs.py b/archivebox/config/stubs.py
index 444757e9..38c7ed4c 100644
--- a/archivebox/config/stubs.py
+++ b/archivebox/config/stubs.py
@@ -48,6 +48,7 @@ class ConfigDict(BaseConfig, total=False):
     RESOLUTION: str
     GIT_DOMAINS: str
     CHECK_SSL_VALIDITY: bool
+    CURL_USER_AGENT: str
     WGET_USER_AGENT: str
     CHROME_USER_AGENT: str
     COOKIES_FILE: Optional[str]