diff --git a/Dockerfile b/Dockerfile index 7872224..5ee7b10 100644 --- a/Dockerfile +++ b/Dockerfile @@ -1,7 +1,7 @@ # (C) Serge Victor 2020 # we always try to operate on recent ubuntu LTS -FROM ubuntu:focal +FROM ubuntu:bionic LABEL maintainer="ser@gnu.org" LABEL version="0.1"