> Is there still the desire to host the Windows binaries on the GNU
> server?
Yes.
> If yes, there are two options: 1.) I (or Miguel?) could upload Miguels
> build to the GNU server or 2.) I could build the 24.3 like I did with 24.1
> and 24.2 and upload it.
It's up to you two, whatever is easier and more convenient will do.
Thanks.