From d09c3942149ce6d1e8de5716fbe6af8963f56e28 Mon Sep 17 00:00:00 2001
From: Christoph Scholtes <cschol2112@gmail.com>
Date: Tue, 14 Jun 2022 06:25:44 -0600
Subject: [PATCH] Review and update PathSet to version 2.3.1. #712

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

diff --git a/repos/PathSet b/repos/PathSet
index 5fcc3d3a..6dacfec3 160000
--- a/repos/PathSet
+++ b/repos/PathSet
@@ -1 +1 @@
-Subproject commit 5fcc3d3afe23f93337545342827bc3aad793f6dd
+Subproject commit 6dacfec31c1c4cfdd192681d6c920e6e9a4b8276