tree a8657c3bfc89f549f1e8323babb76930364f4204
parent ba6727bf7718f14878a5949d97a297b30b34c11e
parent 2d28b2af4faeef1a7538ed2469e7ecf8396d0140
author David Pursehouse <dpursehouse@collab.net> 1548749217 +0900
committer David Pursehouse <dpursehouse@collab.net> 1548749217 +0900

Merge branch 'stable-2.15' into stable-2.16

* stable-2.15:
  Upgrade javamelody-core to 1.76.0
  Upgrade bazlets to latest stable-2.15 to build with 2.15.9 API
  Upgrade bazlets to latest stable-2.15 to build with 2.15.8 API
  Upgrade bazlets to latest stable-2.14 to build with 2.14.18 API
  MonitoringTopMenu: Prepend path to the top menu item

Change-Id: I07eabdfc7e66a16e867f019ce25c818bdc4a2ecb