diff --git a/repos/PathSet b/repos/PathSet
index 3d90ac2e..ec3c8c24 160000
--- a/repos/PathSet
+++ b/repos/PathSet
@@ -1 +1 @@
-Subproject commit 3d90ac2ebc257920047fd6ee2ff8695164bcf912
+Subproject commit ec3c8c24f4ae291e31fe7bcd0514e7a203d94d26