From: SRE <serge.rehbinder@cea.fr>
Date: Wed, 24 May 2017 08:33:01 +0000 (+0200)
Subject: Merge branch 'BR_8_3' of https://codev-tuleap.cea.fr/plugins/git/spns/SAT into BR_8_3
X-Git-Tag: V8_3_0rc1~8
X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=e4906af5db78d7b0f7ff402b673d5702e2dee445;p=tools%2Fsat.git

Merge branch 'BR_8_3' of https://codev-tuleap.cea.fr/plugins/git/spns/SAT into BR_8_3
---

e4906af5db78d7b0f7ff402b673d5702e2dee445