bug#7167: 23.2; w32-shell-execute doc

[Lennart Borgman]

On Thu, Oct 7, 2010 at 12:46 PM, Juanma Barranquero <lekktu@gmail.com> wrote:
> On Thu, Oct 7, 2010 at 12:44, Lennart Borgman <lennart.borgman@gmail.com> 
> wrote:
>
>> Then something must be broken in the official binary distribution.
>
> Isn't that what I said?

;-)

>> Maybe it would be good to know what? Or maybe it is just not worth the
>> trouble?
>
> Not worth the trouble, I think.
>
>> Anyway should not new binaries with a new version number (say 23.2.1)
>> be uploaded then?
>
> Perhaps, but that's up to Jason and Sean, I think, because they are
> the ones taking care of the binary tarballs.

Isn't it more general than that? Must we not make it clear that
unfortunately something went wrong with the upload of 23.2 and
therefore we make a new upload 23.2.1? At least I think that would
help the users.