tree 39bf8c7f25f6a80112eb8b5cec7271e6463b5390
parent 965a9f86ef47d36c131bf892e84a55be9171277c
author David Ostrovsky <david@ostrovsky.org> 1556830232 +0200
committer David Ostrovsky <david@ostrovsky.org> 1557832875 +0200

Bump bazel to 0.25.0

Change-Id: I430c4838bf88e8f292ec41c3d9198b79380de5c3