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

From: Pavel Raiskup <[email-masked]>
Date: Wed, 05 Jun 2013 10:20:16 +0200

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