we don't need workspace deps for dev-tools (and omdb is stale)#4170

Merged

ahl merged 1 commit intomainfrom omdb-dep

Oct 2, 2023

-2

Commits on Oct 2, 2023

we don't need workspace deps for dev-tools (and omdb is stale)
ahl
committed