Increase default timeout for wget from 5 to 10 secs

In the hope that it helps prevent the occasional SSL handshake error/timeout when the system's under load.

enabled an automatic merge when the pipeline for d10be84b succeeds

Ok, might have been over aggressive, though that's huge amount of time to establish TLS.

Agreed. I have no idea if this will help or not, but we can try I guess?

No idea, I have also seen those SSL error before, so we'll see.

merged

changed milestone to %1.15.2