Bug#712855: This is actually fixed upstream.

2013-06-23 Thread Martin Tang
I have the same issue. This is actually fixed upstream, see: https://bugzilla.redhat.com/show_bug.cgi?id=950735 Advice on how to build a patched version just for my machine's arch (as opposed to all 9000 kernel packages) would be welcome.

Bug#714436: fonts-droid: No Hangul characters

2013-06-29 Thread Martin Tang
Package: fonts-droid Version: 1:4.2.r1-2 Severity: normal Dear Maintainer, Korean characters do not display properly (they show up as boxes) after the package is installed. After further investigation (downloading the .ttf files from the Android git repository), I found that: 1. With only

Bug#669869: scala-mode-el: Fails to indent; Invald function: scala-point-after

2012-04-21 Thread Martin Tang
Package: scala-mode-el Version: 20111005-2 Severity: normal Dear Maintainer, scala-mode fails to indent. When tab or C-j is used, the error Invald function: scala-point-after occurs and nothing happens. -- System Information: Debian Release: wheezy/sid APT prefers unstable APT policy: (500,

Bug#698654: ibus-el: Update ibus-el's emacs dependency

2013-01-21 Thread Martin Tang
Package: ibus-el Version: 0.3.0-2+1 Severity: normal Dear Maintainer, ibus-el seems to work fine with emacs24, please update dependency. -- System Information: Debian Release: 7.0 APT prefers unstable APT policy: (500, 'unstable'), (1, 'experimental') Architecture: amd64 (x86_64) Kernel:

Bug#712527:

2013-07-05 Thread Martin Tang
Instead of editing /etc/grub.d/00_header (which might get replaced on a grub upgrade?), you can also add GRUB_GFXPAYLOAD_LINUX=1024x768 (or whatever res you use) to your /etc/default/grub. See [https://www.gnu.org/software/grub/manual/html_node/Simple-configuration.html]. -- To UNSUBSCRIBE,

Bug#712855: Update with version 3.9.8-1

2013-07-11 Thread Martin Tang
On Thu, 2013-07-11 at 12:52 +0200, Yohann Ferreira wrote: Hi all, :) I don't know whether this is useful actually, so my apologize if it isn't. Using the latest version on sid 3.9.8-1, the wifi still has hiccups and is cut every 20 minutes or so, but at least, I can connect more or less

Bug#770512: mutter: Tiled windows using client side decoration have no borders

2014-11-21 Thread Martin Tang
Source: mutter Severity: normal Dear Maintainer, Over the last few GNOME releases, more and more applications have started using client side decoration. When these applications are quick tiled to the left or to the right, they lack any borders, and it can be hard to see where one window ends and

Bug#809086: gdm hang when switching virtual terminal or logging out

2016-01-04 Thread Martin Tang
I believe I have the same issue, right down to Wayland sessions (which I haven't used before since it's not the default) being unaffected. One "workaround", if you can call it that, is to ssh in and run "sudo systemctl restart gdm". This still leaves some of the previous processes running,

Bug#809086: gdm3: Hang when switching virtual terminals or logging out

2016-02-16 Thread Martin Tang
This is a dupe of #805763 and has been fixed.

Bug#836346: racket: Raco fails without libssl-dev

2016-09-01 Thread Martin Tang
Package: racket Version: 6.6-1 Severity: normal Dear Maintainer, I tried to install a package with raco, but it failed because it could not use ssl: martin@porthole:~/Temp$ raco pkg install pollen Resolving "pollen" via https://download.racket-lang.org/releases/6.6/catalog/

Bug#836346: racket: Raco fails without libssl-dev

2016-09-19 Thread Martin Tang
On 01/09/16 09:51 PM, David Bremner wrote: I can't duplicate the problem so far. I don't have libssl-dev installed, but I could install pollen fine (via https). I do have libssl1.0.2:amd64 installed, perhaps that's the difference? Sorry, Google misplaced your mail into the spam folder for