Update bazel to match only extension or whole name#1
Merged
jlebar merged 3 commits intojlebar:masterfrom Apr 11, 2020
TheButlah:master
Merged
Update bazel to match only extension or whole name#1jlebar merged 3 commits intojlebar:masterfrom TheButlah:master
jlebar merged 3 commits intojlebar:masterfrom
TheButlah:master