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

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

d27cc69b0dc815178c79e21ba54af1464a5de510