Merge branch 'main' into devel

# Conflicts:
#	src/vcglib
This commit is contained in:
Alessandro Muntoni 2023-11-30 17:05:53 +01:00
commit 9213493d9e

@ -1 +1 @@
Subproject commit ae65540e71798e6637ff0b442baf6e44160a69bf
Subproject commit ab4a078f947ce064f497c46d4fc9b870e73aaf5f