diff --git a/trees/public b/trees/public
index f1d2b52a28f..c12d8b5c9cf 160000
--- a/trees/public
+++ b/trees/public
@@ -1 +1 @@
-Subproject commit f1d2b52a28f82b6a7778ac5a80a1b27bfce22c9b
+Subproject commit c12d8b5c9cfca7f81d5face36c05af6d243bf3cb