From 34024b5da4de9791b0f71d5ad6825eb848b7463f Mon Sep 17 00:00:00 2001
From: Christoph Scholtes <cschol2112@gmail.com>
Date: Sun, 23 Jan 2022 07:48:10 -0700
Subject: [PATCH] Review and integrate PathSet at version 2.0.0. #712

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

diff --git a/.gitmodules b/.gitmodules
index f8c8f954..ed20fd45 100644
--- a/.gitmodules
+++ b/.gitmodules
@@ -649,3 +649,6 @@
 [submodule "repos/3HR"]
 	path = repos/3HR
 	url = https://github.com/Geekachuqt/3HR.git
+[submodule "repos/PathSet"]
+	path = repos/PathSet
+	url = https://github.com/patheros/PathSetModules.git
diff --git a/repos/PathSet b/repos/PathSet
new file mode 160000
index 00000000..68c97822
--- /dev/null
+++ b/repos/PathSet
@@ -0,0 +1 @@
+Subproject commit 68c9782207c4afd179a6c832748ea5d4e7be4484