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 3dc5b28..0f6c3ca 100755 --- a/src/fsharp/fsi/console.fs +++ b/src/fsharp/fsi/console.fs @@ -13,8 +13,8 @@ open Internal.Utilities /// Fixes to System.Console.ReadKey may break this code around, hence the option here. module internal ConsoleOptions = - // Bug 4254 was fixed in Dev11 (Net4.5), so this flag tracks making this fix up version specific. - let fixupRequired = not FSharpEnvironment.IsRunningOnNetFx45OrAbove + // This fixup for a Windows-only bug causes problems in Debian + let fixupRequired = false let fixNonUnicodeSystemConsoleReadKey = ref fixupRequired let readKeyFixup (c:char) =
