I missed that bug report. Can you point me to the relevant message? I should be able to take a look next weekend. You can see for yourself, the bug number is in the subject: http://debbugs.gnu.org/13793 Stefan
I missed that bug report. Can you point me to the relevant message? I should be able to take a look next weekend.
You can see for yourself, the bug number is in the subject: http://debbugs.gnu.org/13793 Stefan