diff --git a/misc/docker/Dockerfile b/misc/docker/Dockerfile index 8ad0cff..6aefc90 100644 --- a/misc/docker/Dockerfile +++ b/misc/docker/Dockerfile @@ -1,4 +1,4 @@ -FROM debian:11 +FROM ubuntu:22.04 # curl is needed by Rust update tool RUN apt-get update \