[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-wget] [PATCH] Make the filename marquee a proper marquee
|
From: |
Darshit Shah |
|
Subject: |
Re: [Bug-wget] [PATCH] Make the filename marquee a proper marquee |
|
Date: |
Wed, 22 Jul 2015 16:54:03 +0530 |
Pushed!
On Mon, Jul 20, 2015 at 11:39 PM, Alex Henrie <address@hidden> wrote:
> 2015-07-10 10:56 GMT-06:00 Darshit Shah <address@hidden>:
>> Thanks! I'll push this in a day, if no one objects
>
> Hey, I haven't seen this change appear in
> git://git.sv.gnu.org/wget.git - did someone raise objections?
>
> -Alex
--
Thanking You,
Darshit Shah