From f534266b3dd4fe93fe7f09db0d39b0e2c4ed7cdd Mon Sep 17 00:00:00 2001 From: Jeremie Dimino Date: Fri, 31 Mar 2017 15:49:04 +0100 Subject: [PATCH] Unix.create_process is broken in 4.05.0+beta3, switch to 4.05.0+trunk --- jbuild-workspace.dev | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/jbuild-workspace.dev b/jbuild-workspace.dev index 5c334c72..26669409 100644 --- a/jbuild-workspace.dev +++ b/jbuild-workspace.dev @@ -2,5 +2,5 @@ (context ((switch 4.02.3))) (context ((switch 4.03.0))) (context ((switch 4.04.0))) -(context ((switch 4.05.0+beta3))) +(context ((switch 4.05.0+trunk))) (context ((switch 4.06.0+trunk)))