tree b365441a87583f205ead26d3d9b002a1d1edc511
parent e8f682b93f545b63226596eef1e7df1d8a719c89
parent 871e2074b8f424ef0114dd51ade92b262775a28d
author David Pursehouse <dpursehouse@collab.net> 1573109960 +0900
committer David Pursehouse <dpursehouse@collab.net> 1573109960 +0900

Merge branch 'stable-2.15' into stable-2.16

* stable-2.15:
  Upgrade bazlets to latest stable-2.15 to build with 2.15.18 API
  Upgrade javamelody-core to 1.80.0
  Upgrade bazlets to latest stable-2.15
  Upgrade bazlets to latest stable-2.14
  Bazel: Migrate workspace status script to python

Change-Id: I19ee5a453f1675dc30988a32c6def3a74bbd2cf6