Merge release v1.3.1 into main
#1278
Merged
ClaudiaComito merged 19 commits intomainfrom workflows/merge-latest-release-into-mainNov 23, 2023
+34-2
Commits
Commits on Oct 31, 2023
Commits on Nov 7, 2023
- committedHoppe
Commits on Nov 14, 2023
Commits on Nov 21, 2023
Commits on Nov 22, 2023
- committed
- committed
- committed
- authored
- authored
- authored
- authored
Commits on Nov 23, 2023
- committed
- committed
- authored
- committed
- committed
- committed