[packaging] Update curl package version for docker.
@@ -10,7 +10,7 @@ RUN apt-get update \
&& apt-get install -y --no-install-recommends \
'clang=1:6.0-41~exp5~ubuntu1' \
'cmake=3.10.2-1ubuntu2.18.04.1' \
- 'curl=7.58.0-2ubuntu3.12' \
+ 'curl=7.58.0-2ubuntu3.13' \
'libtinfo5=6.1-1ubuntu1.18.04' \
'make=4.1-9.1ubuntu1' \
'patchelf=0.9-1' \
