tree 4014b832d1b0023cbbc3fd7e68d03be06154722f
parent a5de6e10b9c4a17cab083a8c7491b0c39fdfb356
parent 87c0f33f579c5fca1d7f0d855150b77ec8104b0a
author David Ostrovsky <david@ostrovsky.org> 1536645785 +0200
committer David Ostrovsky <david@ostrovsky.org> 1536645785 +0200

Merge branch 'stable-2.14' into stable-2.15

* stable-2.14:
  Update bazlets to latest stable-2.14 to use 2.14.12 API
  Allow access using Basic Authentication prefix
  Update javamelody-core to 1.74.0
  Prefer Javamelody's own configuration constants

Change-Id: I878592a8c317855be71302b2bc8f912efa140c97