Merge branch 'main' into miscFixes2

This commit is contained in:
Younes 2024-07-04 20:51:04 -06:00 committed by GitHub
commit 8ce6ed4b59
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
72 changed files with 1677 additions and 324 deletions

2
externals/sirit vendored

@ -1 +1 @@
Subproject commit 505cc66a2be70b268c1700fef4d5327a5fe46494
Subproject commit 8db09231c448b913ae905d5237ce2eca46e3fe87