point at WASI with tagged unions merged into master

pchickey · pchickey · commit e1149ab06773 · 2020-02-24T11:36:05.000-08:00
diff --git a/tools/wasi-headers/WASI b/tools/wasi-headers/WASI
@@ -1 +1 @@
-Subproject commit 7219c5a34470b04d033a8635c014f835d1b32c02
+Subproject commit 85df5085172a75f2a490a89833821c85cdbfaba7
