Pushed! On Mon, Jul 20, 2015 at 11:39 PM, Alex Henrie <[email protected]> wrote: > 2015-07-10 10:56 GMT-06:00 Darshit Shah <[email protected]>: >> 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
