From e3e4fb682c89516005c89d9761293e7cf5107934 Mon Sep 17 00:00:00 2001
From: Dan Gohman <sunfish@mozilla.com>
Date: Tue, 19 Mar 2019 11:32:46 -0700
Subject: [PATCH 4/4] Fix heading syntax.
---
docs/WASI-some-possible-changes.md | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/docs/WASI-some-possible-changes.md b/docs/WASI-some-possible-changes.md
index d52adcf0..01f5f5ce 100644
@@ -87,7 +87,7 @@ We should look at this again.
Truncating entries that don't fit into a buffer may be error-prone. Should
we redesign how directory reading works?
-# symlinks
+## symlinks
Symlinks are fairly UNIX-specific. Should we remove `__wasi_path_symlink`
and `__wasi_path_readlink`?
--
2.17.1