rebased wasi repo branch

pchickey · pchickey · commit 5785f39fbeda · 2020-02-13T17:12:43.000-08:00
diff --git a/tools/wasi-headers/WASI b/tools/wasi-headers/WASI
@@ -1 +1 @@
-Subproject commit 300871ad75ebf3b3f3292d3de69609e5499300aa
+Subproject commit 7219c5a34470b04d033a8635c014f835d1b32c02
