Updated proto definitions#14
Merged
janpfeifer merged 25 commits intomainfrom protosNov 17, 2024
+8,811-4,852
Commits
Commits on Nov 14, 2024
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Nov 15, 2024
- committed
- committed
- committed
- committed
- committed
Commits on Nov 16, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed