From 5b87f68900653a5d2d472d1e5888eb538b9677d8 Mon Sep 17 00:00:00 2001
From: Christian Helmuth <christian.helmuth@genode-labs.com>
Date: Thu, 28 May 2020 09:01:34 +0200
Subject: [PATCH] version: 20.05

---
 VERSION | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/VERSION b/VERSION
index f56a06635..0b3a546f9 100644
--- a/VERSION
+++ b/VERSION
@@ -1 +1 @@
-20.02
+20.05