Pin Bazel versions#812
Merged
johnynek merged 13 commits intobazel-contrib:masterfrom Aug 15, 2019
Merged
Commits
Commits on Aug 14, 2019
- authored andcommitted

- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
- committed
Commits on Aug 15, 2019
- committed
- committed
- committed