From e7567a23eaa053afac3fc082d702869b4954763e Mon Sep 17 00:00:00 2001
From: Christoph Scholtes <cschol2112@gmail.com>
Date: Tue, 31 May 2022 20:14:08 -0600
Subject: [PATCH] Review and update PathSet to version 2.3.0. #712

---
 repos/PathSet | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/PathSet b/repos/PathSet
index 101e0c0f..5fcc3d3a 160000
--- a/repos/PathSet
+++ b/repos/PathSet
@@ -1 +1 @@
-Subproject commit 101e0c0f61b0a734f793ebfb6437b98ecd656ebd
+Subproject commit 5fcc3d3afe23f93337545342827bc3aad793f6dd