Merge branch 'master' into deploy

mpe · mpe · commit ad38c5b9566b · 2023-03-31T17:45:32.000+11:00
diff --git a/build/ubuntu/Dockerfile b/build/ubuntu/Dockerfile
@@ -40,6 +40,7 @@ RUN apt-get -q -y update && \
       make \
       openssl \
       python3 \
+      python3-dev \
       u-boot-tools \
       rename \
       rsync \
