From d5555918206c35c669b5efa54575b3f5f1438c56 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Mon, 6 Nov 2017 17:08:25 +0800 Subject: [PATCH] Update workspace for 4.06.0 and 4.07.0+trunk --- jbuild-workspace.dev | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/jbuild-workspace.dev b/jbuild-workspace.dev index 31defb90..1e045a47 100644 --- a/jbuild-workspace.dev +++ b/jbuild-workspace.dev @@ -3,4 +3,5 @@ (context ((switch 4.03.0))) (context ((switch 4.04.2))) (context ((switch 4.05.0))) -(context ((switch 4.06.0+trunk))) +(context ((switch 4.06.0))) +(context ((switch 4.07.0+trunk)))