diff options
| author | Marc Glisse <marc.glisse@inria.fr> | 2020-06-19 15:33:43 +0200 |
|---|---|---|
| committer | Marc Glisse <marc.glisse@inria.fr> | 2020-06-19 15:33:43 +0200 |
| commit | f2ebd5d52eb2005d84c4abb631aaae6caf1f0157 (patch) | |
| tree | ee5a0d2fc100265a464b073004b0a763f7483522 /Dockerfile_for_circleci_image | |
| parent | dd39431320e8c219b1eab9265c1a41aa53172ee5 (diff) | |
| parent | c43010ec0244748c2f86a2b6622713f68fbd6cb8 (diff) | |
Merge remote-tracking branch 'origin/master' into tomato2
Diffstat (limited to 'Dockerfile_for_circleci_image')
| -rw-r--r-- | Dockerfile_for_circleci_image | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Dockerfile_for_circleci_image b/Dockerfile_for_circleci_image index c2e8a8f5..464097e7 100644 --- a/Dockerfile_for_circleci_image +++ b/Dockerfile_for_circleci_image @@ -1,4 +1,4 @@ -FROM ubuntu:19.04 +FROM ubuntu:20.04 # Update and upgrade distribution RUN apt-get update && \ |