tree e323ce5047df8dc384a47aa34b895e30239fea17
parent 046a261d7d25d0ce3e9cd58f5c450042974bce82
parent cfc262c7a570531a042273430b2f3ea1e983f082
author David Ostrovsky <david@ostrovsky.org> 1617734108 +0200
committer David Ostrovsky <david@ostrovsky.org> 1617734108 +0200

Merge branch 'stable-3.2'

* stable-3.2:
  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: Iba28cfd3a69a8e5a7e7aca7a5da99cb922a4bd7d