From: Pat Hickey <pat@moreproductive.org>
Date: Tue, 18 Feb 2020 20:36:35 +0000 (-0800)
Subject: point at WASI with tagged unions merged into master
X-Git-Url: https://git.proxmox.com/?a=commitdiff_plain;h=e1149ab0677317c6c981bcbb5e4c159e4d2b9669;p=wasi-libc.git

point at WASI with tagged unions merged into master
---

diff --git a/tools/wasi-headers/WASI b/tools/wasi-headers/WASI
index 7219c5a..85df508 160000
--- a/tools/wasi-headers/WASI
+++ b/tools/wasi-headers/WASI
@@ -1 +1 @@
-Subproject commit 7219c5a34470b04d033a8635c014f835d1b32c02
+Subproject commit 85df5085172a75f2a490a89833821c85cdbfaba7