Re: upload with "previous"

2020-05-24 Thread Jon Turney
On 21/05/2020 20:58, Jon Turney wrote: On 21/05/2020 19:27, Thomas Wolff wrote: I wanted to upload mintty 3.1.6 with a specific setup.hint containing curr: 3.1.6 prev: 3.1.4 but got it wrong so the upload was "normal" instead. I've now uploaded just the setup.hint (mintty-3.1.6-1.hint) and

Re: upload with "previous"

2020-05-21 Thread Achim Gratz
Thomas Wolff writes: > I wanted to upload mintty 3.1.6 with a specific setup.hint containing > curr: 3.1.6 > prev: 3.1.4 > but got it wrong so the upload was "normal" instead. I think you'd rather want to delete the 3.1.5 version, in which case no override.hint is necessary. Regards, Achim. --

Re: upload with "previous"

2020-05-21 Thread Jon Turney
On 21/05/2020 19:27, Thomas Wolff wrote: I wanted to upload mintty 3.1.6 with a specific setup.hint containing curr: 3.1.6 prev: 3.1.4 but got it wrong so the upload was "normal" instead. I've now uploaded just the setup.hint (mintty-3.1.6-1.hint) and !ready files manually. Will that work or

upload with "previous"

2020-05-21 Thread Thomas Wolff
I wanted to upload mintty 3.1.6 with a specific setup.hint containing curr: 3.1.6 prev: 3.1.4 but got it wrong so the upload was "normal" instead. I've now uploaded just the setup.hint (mintty-3.1.6-1.hint) and !ready files manually. Will that work or should I repeat the complete upload? Thomas