Hello, Ludovic Courtès <l...@gnu.org> skribis:
> That’s roughly what I had in mind. I had to give it a go to see if it > made sense :-) and I came up with this patch. I went ahead and pushed it as 3302e03ba0edca49347c6a2b215e56bd53a6b113. Another 2017 bug closed! \o/ Ideally, the installer would have a dialog box to select a proxy. Do we want to do that? Or leave it for the next release? Thanks, Ludo’.
