Bug 558462 - https://www.eclipse.org/downloads/download.php returns too

few mirrors for /releases/2019-12/201912181000

Change-Id: I3f0e86907c8e80be2bcd1f8c57ec38e4be7a65d1
Signed-off-by: Frederic Gurr <frederic.gurr@eclipse-foundation.org>
1 file changed