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

Merge branch 'master' into CR32857_use_trim_surface
---

f53c218335805e7fc427740df6b41bf42e0d86a4