From f708daee567765950431c4bfbb3e5e1cf103f7b6 Mon Sep 17 00:00:00 2001
From: Dnomd343 <i@343.re>
Date: Thu, 9 Feb 2023 00:54:57 +0800
Subject: [PATCH] chore: add thread pool as git submodule

---
 .gitmodules                  | 3 +++
 third_party/tiny_thread_pool | 1 +
 2 files changed, 4 insertions(+)
 create mode 160000 third_party/tiny_thread_pool

diff --git a/.gitmodules b/.gitmodules
index 2b43c04..3fe9bfd 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -4,3 +4,6 @@
 [submodule "third_party/md5"]
 	path = third_party/md5
 	url = https://github.com/ulwanski/md5.git
+[submodule "third_party/tiny_thread_pool"]
+	path = third_party/tiny_thread_pool
+	url = https://github.com/dnomd343/tiny_thread_pool.git
diff --git a/third_party/tiny_thread_pool b/third_party/tiny_thread_pool
new file mode 160000
index 0000000..77351b1
--- /dev/null
+++ b/third_party/tiny_thread_pool
@@ -0,0 +1 @@
+Subproject commit 77351b1aace75c17b5163ea1d2940f665d7ed400