diff --git a/third_party/platforms b/third_party/platforms
index d5fcb55..dd28c19 160000
--- a/third_party/platforms
+++ b/third_party/platforms
@@ -1 +1 @@
-Subproject commit d5fcb55bf8201539d0c3cb3a882c475330983156
+Subproject commit dd28c190c563531c06ba3bd64eca1cc9ca3e667f