From: nmanchen <nmanchen@opencascade.com>
Date: Fri, 2 Dec 2022 02:42:52 +0000 (+0300)
Subject: Merge branch 'master' into CR28720
X-Git-Url: http://git.dev.opencascade.org/gitweb/?a=commitdiff_plain;h=570e4767e6f1aff0ce916e3ec50acde71baebf1e;p=occt.git

Merge branch 'master' into CR28720
---

570e4767e6f1aff0ce916e3ec50acde71baebf1e