Skip to content

[Verda] Rename the datacrunch backend to verda#3359

Merged
peterschmidt85 merged 10 commits intomasterfrom
3344-verda-rename-datacrunch-to-verda
Dec 11, 2025
Merged

[Verda] Rename the datacrunch backend to verda#3359
peterschmidt85 merged 10 commits intomasterfrom
3344-verda-rename-datacrunch-to-verda

Commits

Commits on Dec 11, 2025