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^0
X-Git-Url: http://git.salome-platform.org/gitweb/?a=commitdiff_plain;h=d27cc69b0dc815178c79e21ba54af1464a5de510;p=tools%2Fconfiguration.git

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

d27cc69b0dc815178c79e21ba54af1464a5de510