tree e83ccdbe76bea39765bb6aeef05bc58eaa25c02c
parent f597c123bfb86d987e96dd3af012506b591310bf
parent d60efafe2fa2581d8b6f10aeb80beef5a77b8093
author David Pursehouse <dpursehouse@collab.net> 1562129445 +0900
committer David Pursehouse <dpursehouse@collab.net> 1562129445 +0900

Merge branch 'stable-2.15' into stable-2.16

* stable-2.15:
  download_file.py: Synchronize curl options with gerrit core

Change-Id: Ic3af6e838ff726a317f390b416a88f6af8756a27