Reword the Platform::routing documentation

[simgrid.git] / tools / docker / Dockerfile.stable

diff --git a/tools/docker/Dockerfile.stable b/tools/docker/Dockerfile.stable
index 59c45a3d2b029f6db8cdfc46431cd5e280b143e0..03fada734417d390bd2ca1cdab4257c801eed589 100644 (file)
--- a/tools/docker/Dockerfile.stable
+++ b/tools/docker/Dockerfile.stable
@@ -1,5 +1,6 @@
 # Base image: use a named release to avoid names clashes when calling apt upgrade on the resulting image
-FROM debian:11 #  Bullseye, release 2021-08-14
+# debian:11 is Bullseye, release 2021-08-14
+FROM debian:11
 
 ARG DLURL