bug-libtool
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#13472: [PATCH] libtool: speed up by pre-cutting sed's input by dd


From: Pavel Raiskup
Subject: bug#13472: [PATCH] libtool: speed up by pre-cutting sed's input by dd
Date: Wed, 05 Jun 2013 10:20:16 +0200
User-agent: KMail/4.10.3 (Linux/3.9.4-300.fc19.x86_64; KDE/4.10.3; x86_64; ; )

On Monday, May 13, 2013 02:03:51 PM Pavel Raiskup wrote:
> On Monday, April 29, 2013 08:37:49 Pavel Raiskup wrote:
> > Ping & update :),
> 
> Another ping.

... and another, should I let it be?  Thanks, Pavel

Context catcher:
http://lists.gnu.org/archive/html/bug-libtool/2013-04/msg00009.html






reply via email to

[Prev in Thread] Current Thread [Next in Thread]