Skip to content

Track dev/non-dev use_extension calls#18829

Closed
fmeum wants to merge 2 commits intobazelbuild:masterfrom
fmeum:is-dev-usage
Closed

Track dev/non-dev `use_extension` calls#18829
fmeum wants to merge 2 commits intobazelbuild:masterfrom
fmeum:is-dev-usage

Commits

Commits on Jul 11, 2023