From 9e5fb144fc46df79d1d61c9e7ea43afbdc0858cf Mon Sep 17 00:00:00 2001 From: Jerry Flood Date: Fri, 5 Apr 2019 16:55:13 -0400 Subject: [PATCH] Update git submodules * Update docs/submodules/optf/cmso.git from branch 'master' to a5e82a2a703fd31cac33cef4bbe07445a274ba71 - Fix so minizinc works in windows Issue-ID: OPTFRA-458 Change-Id: Id63558456a13a31284f12007587706c66508512f Signed-off-by: Jerry Flood --- docs/submodules/optf/cmso.git | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/submodules/optf/cmso.git b/docs/submodules/optf/cmso.git index c98cf7f69..a5e82a2a7 160000 --- a/docs/submodules/optf/cmso.git +++ b/docs/submodules/optf/cmso.git @@ -1 +1 @@ -Subproject commit c98cf7f69ff8a7765766a6ca569c874ae075fdea +Subproject commit a5e82a2a703fd31cac33cef4bbe07445a274ba71 -- 2.16.6