[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Bug-wget] GNU wget 1.17.1 released
From: |
Andries E. Brouwer |
Subject: |
Re: [Bug-wget] GNU wget 1.17.1 released |
Date: |
Sun, 13 Dec 2015 20:04:31 +0100 |
User-agent: |
Mutt/1.5.21 (2010-09-15) |
On Sun, Dec 13, 2015 at 08:01:27PM +0200, Eli Zaretskii wrote:
> If no one is going to pick up the gauntlet, I will sit down and do it
> myself, although I'm terribly busy with Emacs 25.1 release.
Good!
> But PLEASE do not release code that unnecessarily leaves Windows
> out of this, it's simply unjustified in this case.
[You want to add a feature, and that takes some code.
Proper name conversion. Not entirely trivial.
I only want to fix a bug - avoid this broken name mangling.
That is a 1-bit change to the code, completely trivial.
That change in no way prevents you to add the feature later.
In the end both parts will be needed.
But never mind - I'll come back in a few months to see whether
there is progress.]
Andries
- [Bug-wget] GNU wget 1.17.1 released, Giuseppe Scrivano, 2015/12/11
- Re: [Bug-wget] GNU wget 1.17.1 released, Andries E. Brouwer, 2015/12/11
- Re: [Bug-wget] GNU wget 1.17.1 released, Ander Juaristi, 2015/12/13
- Re: [Bug-wget] GNU wget 1.17.1 released, Tim Rühsen, 2015/12/13
- Re: [Bug-wget] GNU wget 1.17.1 released, Eli Zaretskii, 2015/12/13
- Re: [Bug-wget] GNU wget 1.17.1 released, Tim Rühsen, 2015/12/13
- Re: [Bug-wget] GNU wget 1.17.1 released, Eli Zaretskii, 2015/12/13
- Re: [Bug-wget] GNU wget 1.17.1 released, Andries E. Brouwer, 2015/12/13
- Re: [Bug-wget] GNU wget 1.17.1 released, Eli Zaretskii, 2015/12/13
- Re: [Bug-wget] GNU wget 1.17.1 released,
Andries E. Brouwer <=
- Re: [Bug-wget] URL encoding issues (Was: GNU wget 1.17.1 released), Eli Zaretskii, 2015/12/14
- Re: [Bug-wget] URL encoding issues (Was: GNU wget 1.17.1 released), Tim Rühsen, 2015/12/14
- Re: [Bug-wget] URL encoding issues (Was: GNU wget 1.17.1 released), Eli Zaretskii, 2015/12/14
- Re: [Bug-wget] URL encoding issues (Was: GNU wget 1.17.1 released), Tim Rühsen, 2015/12/14
- Re: [Bug-wget] URL encoding issues (Was: GNU wget 1.17.1 released), Tim Ruehsen, 2015/12/15
- Re: [Bug-wget] URL encoding issues (Was: GNU wget 1.17.1 released), Tim Ruehsen, 2015/12/15
- Re: [Bug-wget] URL encoding issues (Was: GNU wget 1.17.1 released), Tim Ruehsen, 2015/12/15
- Re: [Bug-wget] URL encoding issues (Was: GNU wget 1.17.1 released), Eli Zaretskii, 2015/12/15
- Re: [Bug-wget] URL encoding issues (Was: GNU wget 1.17.1 released), Tim Ruehsen, 2015/12/17
- Re: [Bug-wget] URL encoding issues (Was: GNU wget 1.17.1 released), Andries E. Brouwer, 2015/12/15