tree 22c4086810875d5fa79ea55a1fbabcecdb2ef0d8
parent 24b25c6c502c470126e53714171fe02908c79bc7
parent dd94a3c8dd54dff268f7ce6613d61b0362c0c81d
author Marcin Czech <maczech@gmail.com> 1580397382 +0100
committer Marcin Czech <maczech@gmail.com> 1580397382 +0100

Merge branch 'stable-3.1'

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

Change-Id: I1cefa1433c77e9e4ce3de8d35b9204c241ec933a