deps/wasm-semantics: 08042d9 - Use native md file support from K (#358)

rv-jenkins · hjorthjort · commit 7e2ac62567bd · 2020-06-13T17:41:18.000Z
diff --git a/deps/wasm-semantics b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit 435e43ff8760fb9e25475848ebb25c76fb1a35d2
+Subproject commit 08042d993316397a165486484ea34ec177396340
