tree 89dbe625d366af1e6fe15f7d1907730d1d4d8983
parent 31db4798b283abe6eeb9303bf2ae99a1eaa8a81e
parent a17ce7eef8d9af5a92f87252fc6a7c50c69e927b
author David Ostrovsky <david@ostrovsky.org> 1618148711 +0200
committer David Ostrovsky <david@ostrovsky.org> 1618148711 +0200

Merge branch 'stable-3.1' into stable-3.2

* stable-3.1:
  Upgrade bazlets to latest stable-3.1 to build with 3.1.12 API

Change-Id: I95dc97af884d59d2d89705311456f3d39d80d5d6