commit | 14eaf706c606b4491121b047032a5876b4c63bcc | [log] [tgz] |
---|---|---|
author | Luca Milanesio <luca.milanesio@gmail.com> | Thu Jan 09 15:13:21 2020 +0000 |
committer | Luca Milanesio <luca.milanesio@gmail.com> | Thu Jan 09 15:13:21 2020 +0000 |
tree | 22c4086810875d5fa79ea55a1fbabcecdb2ef0d8 | |
parent | 24b25c6c502c470126e53714171fe02908c79bc7 [diff] | |
parent | dd94a3c8dd54dff268f7ce6613d61b0362c0c81d [diff] |
Merge branch 'stable-3.1' * stable-3.1: Use bazelisk for builds Allow to re-create a previously removed ref Change-Id: I925d92c366fa3048579bef618507ffa023e3f16b