diff --git a/repos/builtin b/repos/builtin
index 3d0131d6c..9f1d23d8f 160000
--- a/repos/builtin
+++ b/repos/builtin
@@ -1 +1 @@
-Subproject commit 3d0131d6cbc85f960872ada624f62682c98a5f26
+Subproject commit 9f1d23d8fd409c15c6868c2cd788913f48ea9ecb