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 3dc5b28..0f6c3ca

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
ng in any extra upstream code that may not be desired. 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
ply copy and paste "üýþÿĀāĂă" 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, 'unstabl

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
re no longer interested packaging python-nltk 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