Looks like Gmail mangled that patch by wrapping lines that shouldn't have
been wrapped. Let's try again, this time turning OFF Gmail's "Plain Text
mode" so that it won't wrap lines longer than 72 characters.
diff --git a/src/fsharp/fsi/console.fs b/src/fsharp/fsi/console.fs
index
Patch for console.fs to take the second, more conservative, option to
fixing this bug. Applying this patch does NOT require updating the
fsharp package to later upstream versions, and once the package is
updated from upstream, this patch can be removed. Patch should apply
cleanly on current master
2 matches
Mail list logo