Skip to content

Several small fixes for previous PR #383#385

Merged
restingbull merged 1 commit intobazelbuild:masterfrom
jongerrish:fixes_for_option_rules
Nov 11, 2020
Merged

Several small fixes for previous PR #383#385
restingbull merged 1 commit intobazelbuild:masterfrom
jongerrish:fixes_for_option_rules

Commits

Commits on Nov 11, 2020