tree 8e728075b31ac8790eefab350894ce77f423ac45
parent cb5e468c25c7611201c32746ef81f1992dc72a9e
parent 74c31901d537c6a969faf60013c322eb8b85fe05
author David Ostrovsky <david@ostrovsky.org> 1617734047 +0200
committer David Ostrovsky <david@ostrovsky.org> 1617734047 +0200

Merge branch 'stable-3.1' into stable-3.2

* stable-3.1:
  Upgrade javamelody-core to 1.87.0
  Upgrade bazlets to latest stable-3.1 to build with 3.1.12 API
  Upgrade bazlets to latest stable-3.1 to build with 3.1.11 API

Change-Id: I03e380865685a63d4f5ee606c29ccfb4aefe2d98