release v1.3.0 and re-add Makefile#2354
Merged
julian-risch merged 12 commits intomasterfrom release-130Mar 23, 2022
+23,551-48
Commits
Commits on Mar 23, 2022
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed