[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
bug#6784: bug#7785: rgrep is broken on woe32
From: |
Michael Albinus |
Subject: |
bug#6784: bug#7785: rgrep is broken on woe32 |
Date: |
Mon, 10 Jan 2011 21:57:52 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux) |
Eli Zaretskii <eliz@gnu.org> writes:
> Michael, could you please take care of that (on the emacs-23 branch)?
> I gather that you have your master repository, so doing it from there
> would be less hassle for you, and you know the semantics of each
> pipeline better than I do. Thanks.
I've found 3 places to patch in tramp.el, fixed in the emacs-23
branch. Under GNU/Linux I could not observe any regression. However, I
cannot test under Windows - could somebody, please, check it with a new
build? It shall be sufficient to open a large (>10kB) remote file,
using the plink method.
Best regards, Michael.
- bug#7785: rgrep is broken on woe32, (continued)
- bug#7785: rgrep is broken on woe32, Óscar Fuentes, 2011/01/05
- bug#7785: rgrep is broken on woe32, Sam Steingold, 2011/01/05
- bug#6784: bug#7785: rgrep is broken on woe32, Eli Zaretskii, 2011/01/06
- bug#6784: bug#7785: rgrep is broken on woe32, Sam Steingold, 2011/01/06
- bug#7785: rgrep is broken on woe32, Eli Zaretskii, 2011/01/06
- bug#6784: bug#7785: rgrep is broken on woe32, Chong Yidong, 2011/01/08
- bug#7785: bug#6784: bug#7785: rgrep is broken on woe32, Laimonas Vėbra, 2011/01/08
- bug#7785: bug#6784: bug#7785: rgrep is broken on woe32, Eli Zaretskii, 2011/01/09
- bug#7785: bug#6784: bug#7785: rgrep is broken on woe32, Eli Zaretskii, 2011/01/09
- bug#7785: bug#6784: bug#7785: rgrep is broken on woe32, Michael Albinus, 2011/01/09
- bug#6784: bug#7785: rgrep is broken on woe32,
Michael Albinus <=
- bug#7785: rgrep is broken on woe32, Eli Zaretskii, 2011/01/05
- bug#7785: rgrep is broken on woe32, Sam Steingold, 2011/01/05
- bug#7785: rgrep is broken on woe32, Sam Steingold, 2011/01/05
- bug#7785: rgrep is broken on woe32, Sam Steingold, 2011/01/05
- bug#7785: rgrep is broken on woe32, Eli Zaretskii, 2011/01/06
- bug#7785: rgrep is broken on woe32, Sam Steingold, 2011/01/06
- bug#7785: rgrep is broken on woe32, Sam Steingold, 2011/01/06
- bug#7785: rgrep is broken on woe32, Eli Zaretskii, 2011/01/06
- bug#7785: rgrep is broken on woe32, Sam Steingold, 2011/01/06
- bug#7785: rgrep is broken on woe32, Eli Zaretskii, 2011/01/06