Bug#850911: [PATCH] fsharp REPL mangles Unicode characters U+0080 through U+00FF

2017-01-11 Thread Robin Munn
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

Bug#850911: [PATCH] fsharp REPL mangles Unicode characters U+0080 through U+00FF

2017-01-11 Thread Robin Munn
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

Bug#850911: fsharp REPL mangles Unicode characters U+0080 through U+00FF

2017-01-11 Thread Robin Munn
red. I'll prepare a patch that takes the #2 approach, and I suggest taking the #1 approach for the version of the fsharp package that's uploaded to unstable. (Which will need to be bumped again pretty soon anyway, once F# 4.1 is released). Sincerely, Robin Munn

Bug#850911: fsharp REPL mangles Unicode characters U+0080 through U+00FF

2017-01-10 Thread Robin Munn
quot;üýþÿĀāĂă" into the F# Interactive REPL. If the first four characters of that string appear correctly, then this bug has been fixed. Sincerely, Robin Munn -- System Information: Debian Release: stretch/sid APT prefers unstable APT policy: (500, 'unstable') Architecture: amd64 (

Bug#635496: cannot import mercurial.httpclient with Python 2.7: 'module' object has no attribute 'PROTOCOL_SSLv2'

2011-07-28 Thread Robin Munn
Reported upstream: http://mercurial.selenic.com/bts/issue2932 -- Robin Munn rm...@pobox.com GPG key 0x4543D577 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org

Bug#279422: ITP python-nltk: status?

2010-02-06 Thread Robin Munn
in Debian, let me know and I'd be happy to take over the work on http://bugs.debian.org/279422. -- Robin Munn rm...@pobox.com GPG key 0x4543D577 -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of unsubscribe. Trouble? Contact listmas...@lists.debian.org