From: vsr <vsr@opencascade.com>
Date: Tue, 15 May 2018 05:55:53 +0000 (+0300)
Subject: Merge remote branch 'origin/master' into V8_5_BR
X-Git-Tag: V8_5_0rc2
X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=15630d20581eb7518895c706c0134691983902cf;p=tools%2Fconfiguration.git

Merge remote branch 'origin/master' into V8_5_BR
---

d27cc69b0dc815178c79e21ba54af1464a5de510