tree 22c4086810875d5fa79ea55a1fbabcecdb2ef0d8
parent 24b25c6c502c470126e53714171fe02908c79bc7
parent dd94a3c8dd54dff268f7ce6613d61b0362c0c81d
author Luca Milanesio <luca.milanesio@gmail.com> 1578582801 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1578582801 +0000

Merge branch 'stable-3.1'

* stable-3.1:
  Use bazelisk for builds
  Allow to re-create a previously removed ref

Change-Id: I925d92c366fa3048579bef618507ffa023e3f16b