Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Delete the no-longer-necessary proto utils (#1943)
<!-- start git-machete generated --> # Based on PR #1886 ## Chain of upstream PRs as of 2024-12-26 * PR #1886: `main` ← `feature/protoconv` * **PR #1943 (THIS ONE)**: `feature/protoconv` ← `wb/froeht/delete-proto-utils` <!-- end git-machete generated -->
- Loading branch information