|
| From: | Alex Henrie |
| Subject: | Re: [Bug-wget] [PATCH] Make the filename marquee a proper marquee |
| Date: | Mon, 20 Jul 2015 12:09:30 -0600 |
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
| [Prev in Thread] | Current Thread | [Next in Thread] |