[workspace-hack] use workspace-dotted format and a patch directive#4197
Merged
sunshowers merged 1 commit intomainfrom sunshowers/spr/workspace-hack-use-workspace-dotted-format-and-a-patch-directiveOct 4, 2023
+76-71
Commits
Commits on Oct 4, 2023
- committed
