From be24b51a6bea795212a8399a44880db151a13473 Mon Sep 17 00:00:00 2001
From: Paul Davis <paul@linuxaudiosystems.com>
Date: Tue, 13 Sep 2022 14:15:24 -0600
Subject: [PATCH] downloader: remove unnecessary header

---
 libs/pbd/pbd/downloader.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/libs/pbd/pbd/downloader.h b/libs/pbd/pbd/downloader.h
index 191bb95ab6..48002896c9 100644
--- a/libs/pbd/pbd/downloader.h
+++ b/libs/pbd/pbd/downloader.h
@@ -21,7 +21,6 @@
 
 #include <atomic>
 #include <string>
-#include <thread>
 
 #include <curl/curl.h>