From ff2296a0f867008be0c5166c56eed803148bc803 Mon Sep 17 00:00:00 2001 From: Rudi Grinberg Date: Thu, 5 Apr 2018 16:36:22 +0800 Subject: [PATCH] Use 4.06.1 in jbuild-workspace.dev We should use the latest point release for a particular release --- jbuild-workspace.dev | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jbuild-workspace.dev b/jbuild-workspace.dev index 1e390d9a..90cfb5c4 100644 --- a/jbuild-workspace.dev +++ b/jbuild-workspace.dev @@ -3,5 +3,5 @@ (context (opam (switch 4.03.0))) (context (opam (switch 4.04.2))) (context (opam (switch 4.05.0))) -(context (opam (switch 4.06.0))) +(context (opam (switch 4.06.1))) (context (opam (switch 4.07.0+trunk)))