From 956923d6bd9e250706136dfc77cf3fb758bf3812 Mon Sep 17 00:00:00 2001 From: Christof Marti Date: Wed, 16 Dec 2020 11:36:36 +0100 Subject: [PATCH] Correct version number --- remote-release-notes/v1_52.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/remote-release-notes/v1_52.md b/remote-release-notes/v1_52.md index c1d96678f..639fe6976 100644 --- a/remote-release-notes/v1_52.md +++ b/remote-release-notes/v1_52.md @@ -30,7 +30,7 @@ In this milestone, we've introduced the following optimizations to improve start * Starting the server and installing extensions can now be done simultaneously. This will save time for installing extensions, as they will be installed in the background while the server is being started. -## Containers (version 0.153.x) +## Containers (version 0.154.x) ### Support to select a branch when opening a repository in a container