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