Merge branch 'main' into devel

# Conflicts:
#	src/vcglib
This commit is contained in:
Alessandro Muntoni 2023-11-29 13:47:04 +01:00
commit 36bce6d52e

@ -1 +1 @@
Subproject commit 8c969993570bf0e45d4e1001e010786eeae14cee Subproject commit ae65540e71798e6637ff0b442baf6e44160a69bf