]> git.proxmox.com Git - wasi-libc.git/commitdiff
projects / wasi-libc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: ec63fd5)
point at WASI with tagged unions merged into master
authorPat Hickey <pat@moreproductive.org>
Tue, 18 Feb 2020 20:36:35 +0000 (12:36 -0800)
committerPat Hickey <pat@moreproductive.org>
Mon, 24 Feb 2020 19:36:05 +0000 (11:36 -0800)
tools/wasi-headers/WASI patch | blob | blame | history

diff --git a/tools/wasi-headers/WASI b/tools/wasi-headers/WASI
index 7219c5a34470b04d033a8635c014f835d1b32c02..85df5085172a75f2a490a89833821c85cdbfaba7 160000 (submodule)
--- a/tools/wasi-headers/WASI
+++ b/tools/wasi-headers/WASI
@@ -1 +1 @@
-Subproject commit 7219c5a34470b04d033a8635c014f835d1b32c02
+Subproject commit 85df5085172a75f2a490a89833821c85cdbfaba7
backport for Debian buster