commit | 6f9097d6860217f4ccd21f973cfa468ed1952eb3 | [log] [tgz] |
---|---|---|
author | David Ostrovsky <david@ostrovsky.org> | Thu Dec 17 07:52:53 2015 +0100 |
committer | David Ostrovsky <david@ostrovsky.org> | Thu Dec 17 07:53:24 2015 +0100 |
tree | 9415f47987cc0ae80fca5878abb89fa304a09605 | |
parent | 3b8ac71d8a88267bea5275bf7f9b82e92ef7c054 [diff] | |
parent | 6508143cb20a65f8c3aec7be7efcd1dfe30a3c4a [diff] |
Merge branch 'stable-2.12' * stable-2.12: Bump javamelody to 1.58 Use bucklets-provided constant to refer to Plugin API Change-Id: I26d4aafacbe3bec3c1133350106700df2d497a76